April 2019

2 papers.

1. The Scott model of PCF in univalent type theory
   Tom de Jong · 1904.09810 · math.LO · CC BY 4.0
   30 definitions40 statements38 proofs
2. A Categorical Approach to L-Convexity
   Soichiro Fujii · 1904.08413 · math.CT · CC BY 4.0
   17 definitions19 statements18 proofs