Foundations of Dependent Interoperability

Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric

Más información

Título de la Revista: JOURNAL OF FUNCTIONAL PROGRAMMING
Editorial: CAMBRIDGE UNIVERSITY PRESS
Fecha de publicación: 2018
Página de inicio: 1
Página final: 44
DOI/URL:

https=>//doi.org/10.1017/S0956796818000011