<--- Back to Details
First PageDocument Content
Mathematics / Logic in computer science / Dependently typed programming / Lambda calculus / Logic programming / Twelf / Logical framework / Higher-order abstract syntax / Dependent type / Type theory / Programming language theory / Theoretical computer science
Date: 2004-06-14 23:05:55
Mathematics
Logic in computer science
Dependently typed programming
Lambda calculus
Logic programming
Twelf
Logical framework
Higher-order abstract syntax
Dependent type
Type theory
Programming language theory
Theoretical computer science

IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 3,34 MB