Abstract Data Types and Type Theory: Theories as Types

DOI10.1002/MALQ.19910370904zbMATH Open0701.68078OpenAlexW2091789068MaRDI QIDQ3479540FDOQ3479540

Authors: Ruy J. G. B. de Queiroz, Tim Maibaum 

Publication date: 1991

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910370904

Recommendations

• Program specification and data refinement in type theory
• Do-it-yourself type theory
• scientific article; zbMATH DE number 559219
• scientific article; zbMATH DE number 4096759
• Applications of type theory

zbMATH Keywords

implementationnormalizationabstract data typelogic-free theory of constructionsMeaning-As-USE Type Theorytheory presentationstype presentations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Native type theory
• A theory for program and data type specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

This page was built for publication: Abstract Data Types and Type Theory: Theories as Types

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