Login / Signup
Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory.
Herman Geuvers
Published in:
CSL (1996)
Keyphrases
</>
computational models
email
predicate logic