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