| Period | 12 Jun 2025 |
|---|---|
| Event title | 31st Conference on Types for Proofs and Programs |
| Event type | Conference |
| Conference number | 31 |
| Location | Glasgow, United KingdomShow on map |
| Degree of Recognition | International |
Related content
-
Activities
-
31st Conference on Types for Proofs and Programs
Activity: Participating in or Organising an Event › Participation in conference
-
Towards Being Positively Negative about Dependent Types
Activity: Talk or Presentation › Oral presentation
-
Research output
-
Towards being positively negative about dependent types
Research output: Contribution to conference › Abstract › peer-review