Publication:4364401

zbMath0885.03036MaRDI QIDQ4364401

Philippa Gardner, Masahito Hasegawa

Publication date: 17 November 1997

zbMATH Keywords

categorical models; computation; type theories; computational lambda calculus; higher-order action calculi

Mathematics Subject Classification ID

03B70: Logic in computer science

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

68N01: General topics in the theory of software

03B40: Combinatory logic and lambda calculus

Related Items

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic