Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Focused Linear Logic and the λ-calculus

 Taus Brock-Nannestad , Nicolas Guenot
Mathematical Foundations of Programming Semantics XXXI, Jun 2015, Nijmegen, Netherlands. ⟨10.1016/j.entcs.2015.12.008⟩
Communication dans un congrès hal-01249220v1
Image document

Computation in Focused Intuitionistic Logic

 Taus Brock-Nannestad , Nicolas Guenot , Daniel Gustafsson
17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. ⟨10.1145/2790449.2790528⟩
Communication dans un congrès hal-01249216v1
Image document

An Intuitionistic Formula Hierarchy Based on High-School Identities

 Taus Brock-Nannestad , Danko Ilik
Mathematical Logic Quarterly, 2019, 65 (1), pp.57-79. ⟨10.1002/malq.201700047⟩
Article dans une revue hal-01354181v1
Image document

Space-efficient Planar Acyclicity Constraints - A Declarative Pearl

 Taus Brock-Nannestad
FLOPS 2016 - 13th International Symposium on Functional and Logic Programming, Mar 2016, Kochi, Japan
Communication dans un congrès hal-01426753v1
Image document

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations

 Taus Brock-Nannestad , Kaustuv Chaudhuri
Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wrocław, Poland. ⟨10.1007/978-3-319-24312-2_11⟩
Communication dans un congrès hal-01222592v1
Page :