Back to Results
First PageMeta Content
Lambda calculus / Type theory / Proof theory / Logic in computer science / Dependently typed programming / Curry–Howard correspondence / Calculus of constructions / Typed lambda calculus / Intuitionistic logic / Mathematical logic / Logic / Mathematics


Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY
Add to Reading List

Document Date: 2010-03-08 19:45:48

Open Document

File Size: 449,25 KB

Share Result on Facebook

Event

Person Travel / /

Facility

University of Edinburgh / The Graduate University / /

IndustryTerm

logical systems / classical systems / car list / /

Organization

Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Department of Informatics / University of Edinburgh / School of Multidisciplinary Sciences / Graduate University for Advanced Studies / /

Person

Sebastien Duval / Takeshi Ozawa / Makoto Kanazawa / Makoto Tatsuta / Kazuo Kimura / Camille Yamada / Satoshi Kimura / Keiko Kimura / Philip Wadler / Tatsuya Abe / Kazushige Terui / Atsuko Tanji / Ryo Yoshinaka / Haruki Kimura / /

/

Position

supervisor / Professor / supervisor / /

ProgrammingLanguage

C / /

Technology

functional programming / /

SocialTag