Free full game 2018
¿Quieres reaccionar a este mensaje? Regístrate en el foro con unos pocos clics o inicia sesión para continuar.

Ir abajo
avatar
Admin
Admin
Mensajes : 203406
Fecha de inscripción : 21/04/2018
https://jugos.yoo7.com

Types for Proofs and Programs TYPES Empty Types for Proofs and Programs TYPES

Jue Feb 18, 2021 12:01 pm

Types for Proofs and Programs TYPES 190242000_types-for-proofs-and-programs-types
[/center]

Types for Proofs and Programs TYPES
pdf | 3 MB | English | Isbn:979-8615591839 |
Author: Author | PAge: 276 | Year: 2020

[/center]

Description:

This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want to understand the theory behind logic and programming languages, but also to write concrete programs (in OCaml) and proofs (in Agda). After an introduction to functional programming languages, we present propositional logic, λ-calculus, the Curry-Howard correspondence, first-order logic, Agda, dependent types and homotopy type theory.

Category:Mathematical Logic, Computer Programming


Hosters: Rapidgator | Nitroflare | K2S

https://rapidgator.net/file/a654301b74560f7ea9c81b721420e5b8/

http://nitroflare.com/view/F5CD7721A112E87/

https://k2s.cc/file/254c7ef2e2776

[/center]
Volver arriba
Permisos de este foro:
No puedes responder a temas en este foro.