EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Tiuryn, J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1995

Kuper, J. (1995) Usability: Formalising (un)definedness in typed lambda calculi. In: Selected Papers from the 8th International Workshop on Computer Science Logic (CSL'94), 25-30 September 1994, Kazimierz, Poland. pp. 76-90. Lecture Notes in Computer Science 933. Springer Verlag. ISBN 3-540-60017-5

This list was generated on Fri Mar 24 07:38:41 CET 2017.