Kripke Semantics for Martin-Löf's Extensional Type Theory

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-7(3:18)2011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Martin-Löf's Type Theory as an Open-Ended Framework

International Journal of Foundations of Computer Science
Computer Science
2001English

Computational Semantics in Type Theory

Mathématiques et sciences humaines
2004English

Four-Valued Modal Logic: Kripke Semantics and Duality

English

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Decidability of Conversion for Type Theory in Type Theory

Proceedings of the ACM on Programming Languages
2018English

Theory and Practice of Action Semantics

BRICS Report Series
1996English

93. Game Theory in Semantics and Pragmatics

English

Lexical Semantics and Model Theory: Together at Last?

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy