Tom J. de Jong

Available identifiers

zbMath Open de-jong.tom-jMaRDI QIDQ1817480

List of research outcomes

Publication	Date of Publication	Type
On Small Types in Univalent Foundations	2023-08-26	Paper
Predicative Aspects of Order Theory in Univalent Foundations	2023-06-23	Paper
The Scott model of PCF in univalent type theory	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5119392	2020-09-04	Paper
Domain Theory in Constructive and Predicative Univalent Foundations	2020-08-04	Paper
The Sierpinski Object in the Scott Realizability Topos	2019-04-30	Paper
Optimal level of chemical defense decreasing with leaf age	1997-04-14	Paper
Competition in safe-sites	1988-01-01	Paper
Life history tactics of annual organisms: The joint effects of dispersal and delayed germination	1987-01-01	Paper

Research outcomes over time

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