Keyword:lambda calculus

Publications
Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language David Sabel and Manfred Schmidt-Schauss EasyChair Preprint 8385
Marking Solvable Variables Murat Sinan Aygün EasyChair Preprint 6339
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint 334
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint 207
Normalization and Taylor expansion of lambda-terms Federico Olimpieri EasyChair Preprint 165
Hybrid Intersection Types for PCF Pablo Barenbaum, Delia Kesner and Mariana Milicich In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
The involutions-as-principal types/application-as-unification Analogy Alberto Ciaffaglione, Furio Honsell, Marina Lenisa and Ivan Scagnetto In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lexical Semantics with Linear Types Bruno Mery In:NLCS'15. Third Workshop on Natural Language and Computer Science
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem Geoff Hamilton and Morten Heine Sørensen In:VPT 2014. Second International Workshop on Verification and Program Transformation
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