Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 papers from all fields of science
Search
Sign In
Create Free Account
De Bruijn notation
Known as:
De Bruijn
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Categorical abstract machine
De Bruijn index
Explicit substitution
Pure type system
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
International Conference on Theorem Proving in…
2007
Corpus ID: 260901081
1995
1995
The S-calculus: Its Typed and Its Extended Versions
Fairouz Kamareddine
,
A. R. Os
1995
Corpus ID: 7735756
We present in this paper the simply typed version of the s-calculus (cf. KR95]) and prove the strong normalisation of the well…
Expand
1993
1993
A study of the λ-calculus in de Bruijn's notation
寛治 大塚
,
Hiroshi Otsuka
1993
Corpus ID: 124510115