scientific article; zbMATH DE number 1400718

MaRDI QIDQ4939700zbMATH OpenFDO

Authors C. Runciman, Ian Toyn

Publication date 9 February 2000

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Automorphisms of types and their applications
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Retrieving library functions by unifying types modulo linear isomorphism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4939700)