Works matching DE "DEDUCTIO (Computer program language)"
Results: 1
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:
- Publication type:
- Article