scientific article; zbMATH DE number 6174960

MaRDI QIDQ4925906zbMATH OpenFDO

Authors Bruno Marchal

Publication date 12 June 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(2)

• The Big Bush machine
• The spineless tagless G-machine, naturally

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925906)