L. S. van Benthem Jutting
From MaRDI portal
Person:1260644
Available identifiers
zbMath Open van-benthem-jutting.l-sMaRDI QIDQ1260644
List of research outcomes
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
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: L. S. van Benthem Jutting