Adapting Proofs-As-Programs : The Curry-horward Protocol /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Undetermined |
| Publicado: |
EE.UU :
Springer,
c2010.
|
| Series: | Monographs in Computer Science
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Sea el primero en dejar un comentario!