|
|
||||
| A Polymorphic Lambda-Calculus with Sized Higher-Order Types | |||
|
Summary: |
|||
|
Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München |
|||
|
Collections: Computer Technologies and Information Sciences |
|||
