George Koletsos
From MaRDI portal
Person:2276942
Available identifiers
zbMath Open koletsos.georgeMaRDI QIDQ2276942
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4581173 | 2018-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4581175 | 2018-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4581178 | 2018-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411420 | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: George Koletsos
