Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Florian Rabe
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Practical Module System for LF
Related publications
Martin-Löf's Type Theory as an Open-Ended Framework
International Journal of Foundations of Computer Science
Computer Science
Computational Semantics in Type Theory
Mathématiques et sciences humaines
Four-Valued Modal Logic: Kripke Semantics and Duality
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
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
Theory and Practice of Action Semantics
BRICS Report Series
93. Game Theory in Semantics and Pragmatics
Lexical Semantics and Model Theory: Together at Last?
