![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 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](https://www.pdfsearch.io/img/3c0f81b6c8e5c8e4f6929b23be73d93a.jpg) Date: 2004-06-14 23:05:55Mathematics 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 |