scientific article
From MaRDI portal
Publication:2778813
zbMath0981.68110MaRDI QIDQ2778813
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)
Related Items (4)
Unnamed Item ⋮ Calculating datastructures ⋮ Coalgebras in functional programming and type theory ⋮ Type Fusion
This page was built for publication:
