DE JONG, TOM
1204  Ergebnisse:
Personensuche X
?
2

On Small Types in Univalent Foundations:

de Jong, Tom ; Escardó, Martín Hötzel
Logical Methods in Computer Science.  19, Issue 2 (2023)  - p. , 2023
 
?
3

Differences in levels of accessibility: The importance of s..:

van Wee, Bert ; de Jong, Tom
Journal of Transport Geography.  106 (2023)  - p. 103511 , 2023
 
?
4

Set-Theoretic and Type-Theoretic Ordinals Coincide:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
5

Apartness, sharp elements, and the Scott topology of domain:

de Jong, Tom
Mathematical Structures in Computer Science.  33 (2023)  7 - p. 573-604 , 2023
 
?
6

The Scott model of PCF in univalent type theory:

de Jong, Tom
Mathematical Structures in Computer Science.  31 (2021)  10 - p. 1270-1300 , 2021
 
?
8

Big data of the past: Analysis of historical freight shippi..:

Wiegmans, Bart ; Witte, Patrick ; Janic, Milan.
Research in Transportation Business & Management.  34 (2020)  - p. 100459 , 2020
 
?
11

Gene drives do not always increase in frequency: from genet..:

de Jong, Tom J.
Journal of Consumer Protection and Food Safety.  12 (2017)  4 - p. 299-307 , 2017
 
?
12

How to quantify plant tolerance to loss of biomass?:

de Jong, Tom J. ; Lin, Tiantian
Ecology and Evolution.  7 (2017)  9 - p. 3080-3086 , 2017
 
?
13

When should video and EMG be added to urodynamics in childr..:

Anding, Ralf ; Smith, Phillip ; de Jong, Tom...
Neurourology and Urodynamics.  35 (2016)  2 - p. 331-335 , 2016
 
1-15