Publication:4535076
From MaRDI portal
zbMath0986.68016MaRDI QIDQ4535076
Marino Miculan, Furio Honsell, Ivan Scagnetto
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760963
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
About permutation algebras, (pre)sheaves and named sets, Nominal unification, Nominal logic, a first order theory of names and binding, Fresh logic: Proof-theory and semantics for FM and nominal techniques, Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts