George Koletsos
From MaRDI portal
Person:2276942
Available identifiers
zbMath Open koletsos.georgeMaRDI QIDQ2276942
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Type assignment and conservation properties | 2018-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4581173 | 2018-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4581178 | 2018-08-23 | Paper |
| Standard normalization for infinite typed terms | 2014-04-23 | Paper |
| Intersection types and termination properties | 2013-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629238 | 2009-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458495 | 2004-03-18 | Paper |
| Polymorphic lambda calculus: The Church-Rosser property | 1991-01-01 | Paper |
| Church-Rosser theorem for typed functional systems | 1985-01-01 | Paper |
| Functional interpretation of the β-rule | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724330 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724301 | 1981-01-01 | Paper |
Research outcomes over time
This page was built for person: George Koletsos
