Search filters

List of works by Philip Johnson-Freyd

A Formalization of Core Why3 in Coq

scientific article published on 05 January 2024

A Nominal Approach to Probabilistic Separation Logic

scientific article published on 21 June 2024

Paulina is supported by:

About Paulina

Help