Travelled to:
1 × Italy
Collaborated with:
∅
Talks about:
Person:
Patrick Sale
DBLP: Sale:Patrick
Contributed to:
1978
Wrote 1 papers:
ICALP-1978-Sale
#french
#λ-calculus
Une Extension de la Theorie des Types en λ-Calcul (
PS
), pp. 398–410.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.