Ralph Loader

发表

Equational Theories for Inductive Types

Ralph Loader, R. Loader, 1997, Ann. Pure Appl. Log..

Higher Order beta Matching is Undecidable

Ralph Loader, 2003, Log. J. IGPL.

Consolidating The Agreement Problem Protocol Verification Environment

Jason Pascoe, Ralph Loader, J. Pascoe, 2002 .

Unary PCF is Decidable

Ralph Loader, 1998, Theor. Comput. Sci..

Linear logic, totality and full completeness

Ralph Loader, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

Notes on Simply Typed Lambda Calculus

Ralph Loader, 1998 .

Finitary PCF is not decidable

Ralph Loader, 2001, Theor. Comput. Sci..

The Undecidability of λ-Definability

Ralph Loader, 2001 .

Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisati

Ralph Loader, 1994 .

An Algorithm for the Minimal Model

Ralph Loader, 2003 .