A Finite Simulation Method In A Non Deterministic Call By Need Lambda Calculus With Letrec Constructors And Case.pdf
"A Finite Simulation Method in a Non-Deterministic Call-by-Need Lambda-Calculus with letrec, constructors, and case" is owned and hosted by umn.edu, this file has been downloaded 59 times, the last time was in 2024-10-22.
Manfred Schmidt-Schauss and Elena Machkasova is the creator of rta_talk.pdf.
The pdf has been created in 2008-07-15, if you want to preview or download it, just click the link below.
| Download | ||
| Title | A Finite Simulation Method in a Non-Deterministic Call-by-Need Lambda-Calculus with letrec, constructors, and case | |
| File Name | rta_talk.pdf - 302.05 KB | |
| Pages | 31 pages | |
| Owner | umn.edu | |
| Author | Manfred Schmidt-Schauss and Elena Machkasova | |
| Creation date | 16 years ago | |
| Nb of downloads | 59 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "A Finite Simulation Method in a Non Deterministic Call by Need Lambda Calculus with letrec constructors and case" does not meet your expectations, we invite you to take a look at the similar files below :