论文信息 - The IMPS User's Manual - 字舞流文

The IMPS User's Manual

William M. Farmer | Joshua D. Guttman | F. Javier Thayer | W. Farmer | J. Guttman | F. Thayer

[1] William M. Farmer,et al. Proof Script Pragmatics in IMPS , 1994, CADE.

[2] William M. Farmer,et al. A Simple Type Theory with Partial Functions and Subtypes , 1993, Ann. Pure Appl. Log..

[3] William M. Farmer,et al. Theory Interpretation in Simple Type Theory , 1993, HOA.

[4] William M. Farmer,et al. Reasoning with Contexts , 1993, DISCO.

[5] William M. Farmer,et al. IMPS: System Description , 1992, CADE.

[6] William M. Farmer,et al. Little Theories , 1992, CADE.

[7] William M. Farmer,et al. A partial functions version of Church's simple theory of types , 1990, Journal of Symbolic Logic.

[8] Joseph A. Goguen,et al. Principles of parameterized programming , 1989 .

[9] Gerald J. Sussman,et al. Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[10] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.

[11] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .

[12] J. Philbin,et al. RETROSPECTIVE : Orbit : An Optimizing Compiler for Scheme , 2002 .

[13] Yiannis N. Moschovakis,et al. Abstract recursion as a foundation for the theory of algorithms , 1984 .

[14] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .