A relationally parametric model of dependent type theory

Robert Atkey, Neil Ghani, Patricia Johann

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

32 Citations (Scopus)
29 Downloads (Pure)

Search results