scientific article; zbMATH DE number 1156717

zbMATH Open0907.68124MaRDI QIDQ4390746FDOQ4390746

Authors: Bjørn Kristoffersen, Ole-Johan Dahl 

Publication date: 30 September 1998

Title of this publication is not available (Why is that?)

Recommendations

• Order-sorted algebraic specifications with higher-order functions
• Order-sorted algebraic specifications with higher-order functions
• The expressive power of higher-order types or, life without CONS
• scientific article; zbMATH DE number 517014

zbMATH Keywords

generator inductionparametrized modulesABEL

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Order-sorted inductive types
• Limited second-order functionality in a first-order setting

Uses Software

• Automath

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 Q4390746)