Login / Signup
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.
Geir Waagbø
Published in:
Arch. Math. Log. (1999)
Keyphrases
</>
denotational semantics
programming language
high level
fuzzy set theory
linear logic
theorem prover