Video/ISRM-LOGRAC-2022-03-24 Propositions as types

From PKC
Jump to navigation Jump to search

Bauer, Andrej (Mar 25, 2022). ISRM-LOGRAC-2022-03-24 Propositions as types. local page: Andrej Bauer. 



References


Related Pages

Organized by:Andrej Bauer Presented by:Andrej Bauer


Retrieved from "https://pkc.pub/index.php?title=Video/ISRM-LOGRAC-2022-03-24_Propositions_as_types&oldid=33132"