Keyword:lambda calculus

Papers
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
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint no. 334
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint no. 207
Normalization and Taylor expansion of lambda-terms Federico Olimpieri EasyChair Preprint no. 165
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