Publication:4708606
From MaRDI portal
zbMath1014.68098MaRDI QIDQ4708606
Publication date: 18 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
18C50: Categorical semantics of formal languages
Related Items
Interpolation in Grothendieck institutions, Development graphs -- proof management for structured specifications