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