D.D. (Daniël) Otten MSc
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
- Science Park 107
Postadres
-
Postbus 94242
1090 GE Amsterdam
Contactgegevens
-
Publicaties
2024
Otten, D., & van den Berg, B. (2024). Conservativity of Type Theory over Higher-Order Arithmetic. In A. Murano, & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic: CSL 2024, February 19-23, 2024, Naples, Italy Article 44 (Leibniz International Proceedings in Informatics; Vol. 288). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2024.44 [details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list. -
Nevenwerkzaamheden
Geen nevenwerkzaamheden
Otten, D., & van den Berg, B. (2024). Conservativity of Type Theory over Higher-Order Arithmetic. In A. Murano, & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic: CSL 2024, February 19-23, 2024, Naples, Italy Article 44 (Leibniz International Proceedings in Informatics; Vol. 288). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.