31st Conference on Types for Proofs and Programs

de Muijnck-Hughes, J. (Participant)

Activity: Participating in or Organising an Event › Participation in conference

Period	9 Jun 2025 → 13 Jun 2025
Event type	Conference
Conference number	31
Location	Glasgow, United KingdomShow on map
Degree of Recognition	International

Related content

Research output
Towards being positively negative about dependent types
Research output: Contribution to conference › Abstract › peer-review

Activities
Towards Being Positively Negative about Dependent Types
Activity: Talk or Presentation › Oral presentation