Towards being positively negative about dependent types

Jan de Muijnck-Hughes

Research output: Contribution to conference › Abstract › peer-review

1 Participation in conference
1 Oral presentation

1 results
- Title
- Start date(ascending)

Filter

31st Conference on Types for Proofs and Programs
de Muijnck-Hughes, J. (Participant)
9 Jun 2025 → 13 Jun 2025
Activity: Presenting or Organising an Event › Participation in conference