E-Learning of Foundation of Computer Science

by Yukiyoshi Kameyama , Masahiko Sato

Active Bibliography

RISC-Linz Report Series No. 08-08 – Bruno Buchberger, Tetsuo Ida, Temur Kutsia, B. Buchberger, R. Hemmecke, T. Jebelean, M. Kauers, T. Kutsia, F. Lichtenberger, P. Paule, H. Rolletschek, J. Schicho, C. Schneider, W. Schreiner, W. Windsteiger, F. Winkler - 2008
2 External and internal syntax of the λ-calculus – Masahiko Sato, Randy Pollack
Viewing λ-terms through Maps – Masahiko Sato, Randy Pollack, Takafumi Sakurai
12 A Simply Typed Context Calculus with First-Class Environments – Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama - 2002
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
12 Multiple Inheritance via Intersection Types – Adriana B. Compagnoni, Benjamin C. Pierce - 1993
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
1 Strong normalization for System F by HOAS on top of FOAS – Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
20 Higher-order Annotated Terms for Proof Search – Alan Smaill , Ian Green - 1996
98 Simple Consequence Relations – Arnon Avron - 1991
83 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
FOR THE – Andrew Jude Gacek, Gopalan Nadathur, Andrew Jude Gacek, Gopalan Nadathur Advisor - 2006
The NASA STI Program Office provides – Mauricio Ayala-rincn, Cdsar Muhoz - 2000
A Meta-Logical Framework Based on Realizability – Carsten Schürmann - 2000
3 Formal Verification of Concurrent Programs Based on Type Theory – Shen-Wei Yu - 1998
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
Proving Correctness of Modular Functional Programs – Christopher Andrew Owens
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995