Summary: 



Verifying a Semantic fij-Conversion Test for

Martin-L"of Type Theory



Andreas Abel,1 Thierry Coquand,2 and Peter Dybjer2?

1 Department of Computer Science, Ludwig-Maximilians-University, Munich

abel@tcs.ifi.lmu.de
2 Department of Computer Science, Chalmers University of Technology

coquand,peterd@cs.chalmers.se

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences