scientific article; zbMATH DE number 6174960

zbMATH Open1284.03072MaRDI QIDQ4925906FDOQ4925906

Authors: Bruno Marchal 

Publication date: 12 June 2013

Title of this publication is not available (Why is that?)

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)