Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types

Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70217-9 ◽

1994 ◽

pp. 389-468 ◽

Author(s):

R.P. Nederpelt

Keyword(s):

Lambda Calculus ◽

Strong Normalization ◽

Typed Lambda Calculus

Download Full-text

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.01.021 ◽

2007 ◽

Vol 174 (5) ◽

pp. 109-125 ◽

Author(s):

Kevin Donnelly ◽

Hongwei Xi

Keyword(s):

Lambda Calculus ◽

Strong Normalization ◽

Typed Lambda Calculus ◽

Download Full-text

Strong normalization in a non-deterministic typed lambda-calculus

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-58140-5_15 ◽

1994 ◽

pp. 142-152 ◽

Author(s):

Philippe de Groote

Keyword(s):

Lambda Calculus ◽

Strong Normalization ◽

Typed Lambda Calculus

Download Full-text

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2020.08.010 ◽

2020 ◽

Vol 351 ◽

pp. 187-203

Author(s):

Sebastián Urciuoli ◽

Álvaro Tasistro ◽

Nora Szasz

Keyword(s):

Type Theory ◽

Lambda Calculus ◽

Strong Normalization ◽

Constructive Type Theory ◽

Typed Lambda Calculus ◽

Constructive Type

Download Full-text

Backpropagation in the simply typed lambda-calculus with linear negation

Proceedings of the ACM on Programming Languages ◽

10.1145/3371132 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-27 ◽

Author(s):

Aloïs Brunel ◽

Damiano Mazza ◽

Michele Pagani

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Categorical completeness results for the simply-typed lambda-calculus

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014068 ◽

1995 ◽

pp. 414-427 ◽

Author(s):

Alex K. Simpson

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Ordinals and ordinal functions representable in the simply typed lambda calculus

Annals of Pure and Applied Logic ◽

10.1016/s0168-0072(98)00046-3 ◽

1999 ◽

Vol 97 (1-3) ◽

pp. 179-201 ◽

Author(s):

N. Danner

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

The Simply Typed Lambda Calculus

Lambda Calculus with Types ◽

10.1017/cbo9781139032636.005 ◽

2013 ◽

pp. 5-54

Author(s):

Henk Barendregt ◽

Wil Dekkers ◽

Richard Statman

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470696 ◽

2021 ◽

Author(s):

Paolo Pistone

Keyword(s):

Metric Spaces ◽

Lambda Calculus ◽

Generalized Metric Spaces ◽

Typed Lambda Calculus ◽

Generalized Metric

Download Full-text

Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic ◽

10.1007/s001530200007 ◽

2002 ◽

Vol 41 (1) ◽

pp. 91-99

Author(s):

Yoriyuki Yamagata

Keyword(s):

Classical Logic ◽

Lambda Calculus ◽

Second Order ◽

Strong Normalization

Download Full-text

Recognizability in the Simply Typed Lambda-Calculus

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_5 ◽

2009 ◽

pp. 48-60 ◽

Author(s):

Sylvain Salvati

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text