Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,293,706 papers from all fields of science
Search
Sign In
Create Free Account
Typed lambda calculus
Known as:
Typed lambda calculi
A typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
39 relations
Automath
Bounded quantifier
Calculus of constructions
Cartesian closed category
Expand
Broader (4)
Lambda calculus
Logic in computer science
Theory of computation
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A Typed Lambda Calculus for Input Sanitation
Nathan Fulton
2013
Corpus ID: 55100945
Programmers often wish to validate or sanitize user input. One common approach to this problem is the use of regular expressions…
Expand
Review
2012
Review
2012
Interpretations of the gradually-typed lambda calculus
Jeremy G. Siek
,
Ronald Garcia
Scheme and Functional Programming
2012
Corpus ID: 18959334
Gradual typing is an approach to integrating static and dynamic type checking within the same language [Siek and Taha 2006…
Expand
2007
2007
The Intensional Lambda Calculus
Sergei N. Artëmov
,
E. Bonelli
Symposium on Logical Foundations of Computer…
2007
Corpus ID: 14881268
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion ? A…
Expand
2007
2007
Proceedings of the 8th international conference on Typed lambda calculi and applications
S. D. Rocca
2007
Corpus ID: 62354151
1998
1998
Concurrent Objects in the Blue Calculus
Silvano Dal Zilio
,
I. Sophia-Antipolis
1998
Corpus ID: 16723262
A miniature multi-impedance transformer module specially adapted for use in telephony. In the preferred embodiment a pair of…
Expand
1994
1994
On Implicit Arguments
Masami Hagiya
,
Yozo Toda
Logic, Language and Computation
1994
Corpus ID: 45642069
A typechecker for a typed λ-calculus having implicit arguments is presented. The typechecker works in such a way that the…
Expand
1994
1994
Logic and Computer Science
H. Swart
1994
Corpus ID: 58172680
1991
1991
The use of typed lambda calculus for comprehension and construction of simulation models in the domain of ecology
M. Uschold
1991
Corpus ID: 59590376
We are concerned with two important issues in simulation modelling: model comprehension and model construction. Model…
Expand
1985
1985
Cartesian Closed Categories and Typed Lambda- calculi
J. Lambek
Combinators and Functional Programming Languages
1985
Corpus ID: 38456862
Review
1983
Review
1983
Notes on typed lambda calculus
D. Bruijn
1983
Corpus ID: 123652464
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE