https://jonaprieto.github.io/education.html https://jonaprieto.github.io/experience.html https://jonaprieto.github.io/ https://jonaprieto.github.io/projects.html https://jonaprieto.github.io/publications.html https://jonaprieto.github.io/talks/BergenUFmeeting2021/ https://jonaprieto.github.io/agda/cpp.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/cv/CV_Jonathan-Cubides.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/dp/ 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/drafts/2024-Jonathan-Prieto-Cubides-Modal-logics-and-Kripke-semantics.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/drafts/2024-Prieto-Cubides-Dissertation-Slides.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/drafts/2024-Prieto-Cubides-Dissertation.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/drafts/Jonathan-Prieto-Cubides-On-Trees-and-Their-Topological-Realisation-in-HoTT.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/drafts/main_20240124_010319.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/references/ 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/2-hit.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/C3.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/K4-is-planar.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/cycle-graphs.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/cycle.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/cyclic-graph.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/cyclic-order.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/example-n-partite.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map-B2-M1.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map-B2-M2.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map-B2.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map-C3.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map-K33.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map2-K33-with-info.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/examples-of-a-map2-K33.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/experiment-pick-face.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face-cw-ccw.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face-division-a.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face-division-b.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face-division.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face-type.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/face.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/faces-for-planarity-paper.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/faces-for-planarity.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/faces.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph-embeddings-b.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph-embeddings-c.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph-map.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph-simple-for-planarity.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph-without-labels.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/graph.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/homotopic-walks.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/homotopy-walks-step-0.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/homotopy-walks-step-1a.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/homotopy-walks-step-1b.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/homotopy-walks-step-1c.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/k33-embedding-torus.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/k33-map.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/k33.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/partite-graphs.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/pick-face.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/planar-better.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/planar-extensions-lemma.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/planar-extensions.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/plane-graph-with-cycle-orders.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/removing-loops-1.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/removing-one-point-from-finite-set.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/sphere-1-construction.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/sphere-1.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/sphere-2.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/sphere-3.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/spherical-embedding.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/spikes.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/star.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/stereographic-projection.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-1.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-2.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-b-color.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-b-only-graph.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-b.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-c-color.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-labeled.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-rotation-system-without-plane-directed.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-rotation-system-without-plane.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-walks-transition.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3-walks.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-3.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-4.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/surface-5.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/ipe-images/walk-homotopy.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/talks/BergenUFmeeting2021/main.pdf 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/type-theory/2018/05/01/circle-puzzle/ 2026-04-10T19:33:07+00:00 https://jonaprieto.github.io/type-theory/2018/07/05/pathovers-hott/ 2026-04-10T19:33:07+00:00