Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Citkey="Arvind-Maessen-Nikhil-Stoy/96"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

A lambda calculus with letrecs and barriers

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph Stoy

Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)
Lecture Notes in Computer Science 1180 , 1996, pp. 19-36

Editors V. Chandru, V. Vinay

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore

Editors		V. Chandru, V. Vinay
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore