Works matching DE "DEDUCTIO (Computer program language)"

The λ-Calculus and the Unity of Structural Proof Theory.

Published in:

Theory of Computing Systems, 2009, v. 45, n. 4, p. 963, doi. 10.1007/s00224-009-9183-9

By:

• Espírito Santo, José

Publication type:

Article