Tom J. de Jong

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
On Small Types in Univalent Foundations Logical Methods in Computer Science	2023-08-26	Paper
Predicative Aspects of Order Theory in Univalent Foundations (available as arXiv preprint)	2023-06-23	Paper
The Scott model of PCF in univalent type theory Mathematical Structures in Computer Science	2022-12-09	Paper
scientific article; zbMATH DE number 7243674 (Why is no real title available?) (available as arXiv preprint)	2020-09-04	Paper
scientific article; zbMATH DE number 7243674 (Why is no real title available?)	2020-09-04	Paper
Domain Theory in Constructive and Predicative Univalent Foundations	2020-08-04	Paper
The Sierpinski Object in the Scott Realizability Topos (available as arXiv preprint)	2019-04-30	Paper
Optimal level of chemical defense decreasing with leaf age Theoretical Population Biology	1997-04-14	Paper
Competition in safe-sites Theoretical Population Biology	1988-01-01	Paper
Life history tactics of annual organisms: The joint effects of dispersal and delayed germination Theoretical Population Biology	1987-01-01	Paper

Research outcomes over time

This page was built for person: Tom J. de Jong