The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (Q2841232)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) |
scientific article |
Statements
The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (English)
0 references
24 July 2013
0 references
