Back to Results
First PageMeta Content
Models of computation / Lambda calculus / Formal methods / Logic in computer science / Programming language / Formal language / Actor model / Semantics / Combinatory logic / Applied mathematics / Theoretical computer science / Mathematics


UNIVERSITE PARIS. DIDEROT (Paris 7) SORBONNE PARIS CITE ¯ -calculus λλ
Add to Reading List

Document Date: 2014-01-16 12:44:23

Open Document

File Size: 872,34 KB

Share Result on Facebook

City

PARIS / /

IndustryTerm

by-product / /

Person

Jean Goubault-Larrecq Martin / Patrick Baillot Guy McCusker Examiners / Martin Hyland Nobuko Yoshida / Pierre-Louis Curien Patrick Baillot Guy / /

Position

Advisor / Player / /

ProgrammingLanguage

C / /

Technology

java / /

SocialTag