Classical realizability and side-effects

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

Gardado en:
Detalles Bibliográficos
Autor Principal: Miquey, Étienne (author)
Formato: doctoralThesis
Idioma:inglés
Publicado: 2017
Subjects:
Acceso en liña:https://hdl.handle.net/20.500.12008/21060
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares: Classical realizability and side-effects