Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:38:00 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||