research
.chalmers.se
På svenska
Log in
Internal type theory
Journal article, 1996
Author
Peter Dybjer
Programming Logic
Other publications
Research
TYPES '95, LNCS
Vol. 1158 120-134
Subject Categories
Other Mathematics
More information
Created
10/6/2017