Ambrus Kaposi
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Loïc Pujetonce
- Michael Shulmanonce
- Thorsten Altenkirchonce
all 4 in the filters
who talks about the same things
- Andreas Nuyts3 talks
- Kris Nuttycombe3 talks
- Benedikt Ahrens6 talks
- Andreia Mordido2 talks
- Andreas Abel6 talks
- James McKinna2 talks
| title | conference | date |
|---|---|---|
| Type Theory in Type Theory using a Strictified Syntax | ICFP 2025 | 2025-10-12 |
They build an isomorphic, substitution strictified initial CwF that encodes substitutions as meta-level functions so all substitution equations become… | ||
| Internal parametricity, without an interval | POPL 2024 | 2024-01-14 |
Presents a compact type theory extending Martin-Löf with a few new type and term formers that internalises parametricity without introducing an interval… | ||
| nothing matches | ||