scientific article
From MaRDI portal
Publication:3809236
zbMath0659.68027MaRDI QIDQ3809236
Andrzej Tarlecki, Bernhard Möller, Martin Wirsing
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationsabstract data typespredefined data type constructionshigher-order function spaces
Abstract data types; algebraic specification (68Q65) Data structures (68P05) Categories of algebras (08C05)
Related Items (13)
Algebraic semantics of rewriting terms and types ⋮ A recursive second order initial algebra specification of primitive recursion ⋮ A decade of TAPSOFT ⋮ Order-sorted algebraic specifications with higher-order functions ⋮ Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. ⋮ Comorphisms of structured institutions ⋮ R n - and G n -logics ⋮ Higher-order algebra with transfinite types ⋮ Universal algebra in higher types ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Verifying an infinite systolic algorithm using third-order equational methods ⋮ Order-sorted algebraic specifications with higher-order functions ⋮ Swinging types=functions+relations+transition systems
This page was built for publication:
