Philip Johnson-Freyd
where else to find them
no profile links on file
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
- Amal Ahmedonce
- John Lionce
- Jon M. Aytaconce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards a Categorical Model of the Lilac Separation Logic | LAFI 2024 | 2024-01-14 |
Constructs two categories—a probabilistic “sheaf/topos–style” category and a nominal-style category—and proves they are equivalent, so Lilac’s independent… | ||
| A Formalization of Core Why3 in Coq | POPL 2024 | 2024-01-14 |
Formalization of Why3's core logic as a machine-checked denotational semantics in Coq maps Why3 types to Coq sets, builds explicit encodings for recursive… | ||
| nothing matches | ||