-
Barendregt is a
Dutch surname.
Notable people with the
surname include: Jaap
Barendregt (1905–1952),
Dutch footballer Johan Barendregt (1924–1982), Dutch...
-
Pieter (Henk)
Barendregt (born 18
December 1947, Amsterdam) is a
Dutch logician,
known for his work in
lambda calculus and type theory.
Barendregt studied mathematical...
- Jaap
Barendregt (10
January 1905 – 16
February 1952) was a
Dutch football striker.
Barendregt pla**** his
whole career at
Feijenoord and his
total of 196...
- from the α-canonical form of de
Bruijn indexed terms when appropriate.
Barendregt's variable convention is a
convention commonly used in
proofs and definitions...
-
Unsolved problem in
computer science:
Prove or
disprove the
Barendregt–Geuvers–Klop conjecture. (more
unsolved problems in
computer science) In the branches...
-
Alama (2017).
Barendregt (1984), p. 283.
Barendregt (1984), p. 53–54.
Barendregt (1984), p. 54.
Barendregt (1984), p. 59-62.
Barendregt (1984), p. 64–65...
-
Johan Teunis Barendregt (16
February 1924 – 2
January 1982) was a
Dutch psychologist and
chess International Master (IM) (1962).
Barendregt studied psychology...
- the λ-cube (also
written lambda cube) is a
framework introduced by Henk
Barendregt to
investigate the
different dimensions in
which the
calculus of constructions...
- His wife,
Katharine Reimer, has also
campaigned for the party.
Anthony Barendregt (born 1961 in
British Columbia) is a
politician in Manitoba, Canada. He...
- Programs. The MIT Press. ISBN 0-262-51087-1.
Barendregt,
Hendrik Pieter Introduction to
Lambda Calculus.
Barendregt,
Hendrik Pieter, The
Impact of the Lambda...
