Keyword:type theory

Publications
A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description Erkki Luuk EasyChair Preprint 1516
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425
Propositional Forms of Judgemental Interpretations Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis EasyChair Preprint 221
On Expanding Standard Notions of Constructivity Liron Cohen and Ariel Kellison EasyChair Preprint 189
A typed parallel lambda-calculus via 1-depth intermediate proofs Federico Aschieri, Agata Ciabattoni and Francesco Antonio Genco In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Coq without Type Casts: A Complete Proof of Coq Modulo Theory Jean-Pierre Jouannaud and Pierre-Yves Strub In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Machine Learning of Coq Proof Guidance: First Experiments Cezary Kaliszyk, Lionel Mamane and Josef Urban In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Antifounded Coinduction in Type Theory Tarmo Uustalu In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
Termination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic L. Yohanes Stefanus and Ario Santoso In:IWIL 2010. The 8th International Workshop on the Implementation of Logics