Typability in partial applicative structures
| Authors | |
|---|---|
| Publication date | 2011 |
| Journal | Journal of Logic, Language and Information |
| Volume | Issue number | 20 | 2 |
| Pages (from-to) | 161-168 |
| Number of pages | 8 |
| Organisations |
|
| Abstract |
Adapting a claim of Kracht (Theor Comput Sci 354:131-141, 2006), we establish a characterization of the typable partial applicative structures |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s10849-010-9124-7 |
| Downloads |
342697.pdf
(Final published version)
|
| Permalink to this page | |