E-LIB Suche - Ergebnisse für: LESCANNE, PIERRE

1

Algebraic and Logic Programming

Proceedings of an International Workshop held in Gaussig (G... Mathematical Research ; 49, Mathematische Forschung

Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]

Link: https://doi.org/10.1515/..

2

Almost all Classical Theorems are Intuitionistic:

Lescanne, Pierre
RAIRO - Theoretical Informatics and Applications. 56 (2022) - p. 9 , 2022

Link: https://doi.org/10.1051/..

3

Quantitative Aspects of Linear and Affine Closed Lambda Ter..:

Lescanne, Pierre
ACM Transactions on Computational Logic (TOCL). 19 (2018) 2 - p. 1-18 , 2018

Link: https://dl.acm.org/doi/1..

4

Combinatorics of Explicit Substitutions:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,

Bendkowski, Maciej ; Lescanne, Pierre - p. 1-12 , 2018

Link: https://dl.acm.org/doi/1..

5

Quantitative Aspects of Linear and Affine Closed Lambda Ter..:

Lescanne, Pierre
ACM Transactions on Computational Logic. 19 (2018) 2 - p. 1-18 , 2018

Link: https://doi.org/10.1145/..

6

Combinatorics of $\lambda$-terms: a natural approach:

Bendkowski, Maciej ; Grygiel, Katarzyna ; Lescanne, Pierre.
Journal of Logic and Computation. 27 (2017) 8 - p. 2611-2630 , 2017

Link: https://doi.org/10.1093/..

7

Counting and generating terms in the binary lambda calculus:

GRYGIEL, KATARZYNA ; LESCANNE, PIERRE
Journal of Functional Programming. 25 (2015) - p. , 2015

Link: https://doi.org/10.1017/..

8

Counting and generating lambda terms:

GRYGIEL, KATARZYNA ; LESCANNE, PIERRE
Journal of Functional Programming. 23 (2013) 5 - p. 594-628 , 2013

Link: https://doi.org/10.1017/..

9

On counting untyped lambda terms:

Lescanne, Pierre
Theoretical Computer Science. 474 (2013) - p. 80-97 , 2013

Link: https://doi.org/10.1016/..

10

"Backward" coinduction, Nash equilibrium and the rationalit..:

Lescanne, Pierre ; Perrinel, Matthieu
Acta Informatica. 49 (2012) 3 - p. 117-137 , 2012

Link: https://doi.org/10.1007/..

11

Computation with classical sequents:

VAN BAKEL, STEFFEN ; LESCANNE, PIERRE
Mathematical Structures in Computer Science. 18 (2008) 3 - p. 555-609 , 2008

Link: https://doi.org/10.1017/..

12

Characterizing strong normalization in the Curien–Herbelin ..:

Dougherty, Daniel J. ; Ghilezan, Silvia ; Lescanne, Pierre
Theoretical Computer Science. 398 (2008) 1-3 - p. 114-128 , 2008

Link: https://doi.org/10.1016/..

13

Review of "Alfred Tarski: Life and Logic by Anita Burdman F..:

Lescanne, Pierre
ACM SIGACT News. 37 (2006) 1 - p. 27-28 , 2006

Link: https://doi.org/10.1145/..

14

Addressed term rewriting systems: application to a typed ob..:

DOUGHERTY, DANIEL J. ; LESCANNE, PIERRE ; LIQUORI, LUIGI
Mathematical Structures in Computer Science. 16 (2006) 4 - p. 667 , 2006

Link: https://doi.org/10.1017/..

15

Mechanizing common knowledge logic using COQ:

Lescanne, Pierre
Annals of Mathematics and Artificial Intelligence. 48 (2006) 1-2 - p. 15-43 , 2006

Link: https://doi.org/10.1007/..