Classical realizability and side-effects

Tesis en cotutela Universidad de la República (Uruguay). Facultad de Ciencias y Université Sorbonne Paris Cité.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Miquey, Étienne (author)
Format: doctoralThesis
Sprache:Englisch
Veröffentlicht: 2017
Schlagworte:
Online-Zugang:https://hdl.handle.net/20.500.12008/21060
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!