Documents Related by Co-Citation

325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
700 Concurrency and automata on infinite sequences – D Park - 1981
3430 Communication and Concurrency – R Milner - 1989
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
483 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005