L. S. van Benthem Jutting
From MaRDI portal
Person:1260644
Available identifiers
zbMath Open van-benthem-jutting.l-sMaRDI QIDQ1260644
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 |
|---|---|---|
| Typing in pure type systems | 1993-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187337 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122841 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628216 | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: L. S. van Benthem Jutting
