Dataset - CKAN

A simple presentation of the effective topos

We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof...
- HTML

You can also access this registry using the API (see API Docs).