scientific article; zbMATH DE number 729459

zbMath0925.00031MaRDI QIDQ4324959

Saunders Mac Lane

Publication date: 2 March 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mathematics in general (00A05)

Related Items

A tactic language for refinement of state-rich concurrent specifications