Amanote Research
Register
Sign In
Computational Semantics in Type Theory
Mathématiques et sciences humaines
doi 10.4000/msh.2925
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2004
Authors
Aarne Ranta
Publisher
OpenEdition
Related search
Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Syntax and Semantics in Higher-Type Recursion Theory
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Explicit Computational Paths in Type Theory
Bulletin of Symbolic Logic
Philosophy
Logic
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Computational Semantics in Neural Times
A Computational Interpretation of Forcing in Type Theory
Computational Semantics of Time/Negation Interaction
93. Game Theory in Semantics and Pragmatics
Towards a Computational Formalization of Natural Language Semantics
