# Typed lambda calculus

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Review

2012

Review

2012

- Scheme@ICFP
- 2012

Gradual typing is an approach to integrating static and dynamic type checking within the same language [Siek and Taha 2006â€¦Â (More)

Is this relevant?

Review

2008

Review

2008

- Theor. Comput. Sci.
- 2008

Intersection types are well known to type theorists mainly for two reasons. Firstly, they type all and only the stronglyâ€¦Â (More)

Is this relevant?

2002

2002

- PPDP
- 2002

This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The firstâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Arch. Math. Log.
- 2001

In this paper, we develop a system of typed lambda-calculus for the Zermelo-FrÃ¦nkel set theory, in the framework of classicalâ€¦Â (More)

Is this relevant?

2000

2000

- FoSSaCS
- 2000

A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] ratherâ€¦Â (More)

Is this relevant?

1996

1996

- 1996

In this paper, we present an explicitly typed version of the Lambda Calculus of Objects of [7], which is a development of theâ€¦Â (More)

Is this relevant?

1994

1994

- 1994

! There are many variants of the lambda calculus. The typed lambda calculus decorates terms with type annotations:Â

Is this relevant?

1993

1993

- Inf. Comput.
- 1993

Given a model of the polymorphic typed lambda calculus based upon a Cartesian closed category K, there will be functors from K toâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Journal of Automated Reasoning
- 1992

Much research has been devoted in building computer systems for checking proofs or for developing interactively correct proofs inâ€¦Â (More)

Is this relevant?

1991

1991

- Inf. Comput.
- 1991

1.1. Lambda calculus is not intended to be just a formal game: it was created with the intent to represent operations withâ€¦Â (More)

Is this relevant?