×

zbMATH — the first resource for mathematics

Different types of arrow between logical frameworks. (English) Zbl 1046.68509
Meyer auf der Heide, Friedhelm (ed.) et al., Automata, languages and programming. 23rd international colloquium, ICALP ’96, Paderborn, Germany, July 8-12, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61440-0/pbk). Lect. Notes Comput. Sci. 1099, 158-169 (1996).
For the entire collection see [Zbl 0851.00043].

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q65 Abstract data types; algebraic specification
18C20 Eilenberg-Moore and Kleisli constructions for monads
18C50 Categorical semantics of formal languages
PDF BibTeX XML Cite