HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:lambda calculus

Papers
Marking Solvable Variables
Murat Sinan Aygün
EasyChair Preprint no. 6339
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
Copyright © 2012-2022 easychair.org. All rights reserved.