Inferencia de tipos de sesión
Incluye bibliografía.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | masterThesis |
| Hizkuntza: | gaztelania |
| Argitaratua: |
2011
|
| Gaiak: | |
| Sarrera elektronikoa: | http://hdl.handle.net/20.500.11968/2965 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak: Inferencia de tipos de sesión
- Error analysis in quantum circuits
- Análisis de un modelo discreto para computación cuántica
- Un enfoque de Inteligencias Múltiples y Competencias aplicado a la enseñanza inicial de la Programación
- Foundations for Mathematical Methodology
- Interpretación de KM3/ATL en Teoría de Tipos
- Normalization Proofs for the Simply-Typed Lambda Calculus in Agda