The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
Paper in proceedings, 2008

Author

Peter Dybjer

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Alexandre Buisse

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Electr. Notes Theor. Comput. Sci.

218 21-32

Subject Categories

Computer Science

More information

Created

10/6/2017