Quotient inductive-inductive types

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

30 Citations (Scopus)

27 Downloads (Pure)

1 results
- Last Name(descending)

Fredrik Nordvall Forsberg
- fredrik.nordvall-forsbergstrath.acuk
- Computer And Information Sciences - Senior Lecturer
- SICSA
- Mathematically Structured Programming
Person: Academic, Research Only