Cargando…

Lectures on the Curry-Howard Isomorphism

Detalles Bibliográficos
Autor principal:	Urzyczyn, Pawel
Lenguaje:	eng
Publicado:	Elsevier 2006
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/1085199

Ejemplares similares

Adapting proofs-as-programs: the Curry-Howard protocol
por: Poernomo, Iman Hafiz, et al.
Publicado: (2007)

Isomorphic Go: learn how to build modern isomorphic web applications using the Go programming language, GopherJS, and the Isomorphic Go toolkit
por: Balasubramanian, Kamesh
Publicado: (2017)

Isomorphic web applications: universal development with React
por: Gordon, Elyse Kolker
Publicado: (2018)

Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress
por: Chardonnet, Kostia, et al.
Publicado: (2020)

Why isomorphic JavaScript?: the case for sharing JavaScript on the client and server
por: Strimpel, Jason, et al.
Publicado: (2015)

Isomorphic JavaScript web development: universal JavaScript with React and Node
por: Alabes, Tomas, et al.
Publicado: (2017)

Building isomorphic JavaScript apps: from concept to implementation to real-world solutions
por: Strimpel, Jason, et al.
Publicado: (2016)

Lecture object: an architecture for archiving lectures on the Web
por: Vitaglione, G, et al.
Publicado: (2001)

Feynman lectures on computation
por: Feynman, Richard Phillips, et al.
Publicado: (1999)

Lectures on Quantum Mechanics
por: Basdevant, Jean-Louis
Publicado: (2007)

Feynman Lectures on Computation
por: Feynman, Richard Phillips, et al.
Publicado: (1996)

Three Lectures on Mathematica
por: Trott, M R
Publicado: (1995)

Lectures on Parallel Computation
por: Gibbons, Alan, et al.
Publicado: (2005)

Lectures on complex networks
por: Dorogovtsev, S N
Publicado: (2010)

The Web Lecture Archive Project
por: Goldfarb, S, et al.
Publicado: (2006)

1st COMPSTAT Lectures
por: Sint, P P, et al.
Publicado: (1978)

Virtual reality and virtual environments in 10 lectures
por: Stankovic, Stanislav
Publicado: (2015)

Illustrated guide to home chemistry experiments: all lab, no lecture
por: Thompson, Robert Bruce
Publicado: (2008)

Building a website to promote the CERN Academic Training lectures
por: Török, Franciska-Leonóra
Publicado: (07/0)

Ronald Currie
Publicado: (1923)

Andrew Currie
Publicado: (1941)

Currie’s “Journal”
por: Osler, William
Publicado: (1919)

ACM Turing award lectures, 1966-1985: the first twenty years
por: Ashenurst, Robert L, et al.
Publicado: (1987)

Theoretical Foundations of Programming Methodology : Lecture Notes of an International Summer School
por: Broy, Manfred, et al.
Publicado: (1982)

DIY science: illustrated guide to home forensic science experiments : all lab, no lecture
por: Thompson, Robert Bruce, et al.
Publicado: (2012)

Howards End
por: Forster, E. M. (Edward Morgan), 1879-1970
Publicado: (1941)

Howard Pyle
por: Pyle, Howard, 1853-1911
Publicado: (1975)

Howards end/
por: Forster, E. M. 1879-1970 (Edward Morgan)

Howard Hawks /
por: García Riera, Emilio
Publicado: (1988)

Dr. Howard
Publicado: (1848)

The Howard Association
Publicado: (1896)

Howard Cane
Publicado: (1910)

Curry-Eaters Beware!
por: Henderson, G.
Publicado: (1875)

Hugh Brown Currie
Publicado: (1915)

John Ronald Currie
Publicado: (1949)

R. K. Currie
Publicado: (1942)

Dr Bennie of Currie
Publicado: (1879)

Dr. Augustus Currie
Publicado: (1911)

JP Howard Fee MD, PhD, FFARCSI Introduction of The WFK Morrow Lecture
Publicado: (1998)

Lecture de données depuis un SAN pour générer un flot de données haut débit via un FPGA
por: Lemouzy, Benjamin
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_blbc6qcdq79k1n4n2n6b7hls4g