GBG.M. Bierman
G.M. Bierman
*This is an algorithmically generated author record based on publicly available information.
Research Subjects
Research Interests
Latest Publications
- 28 September 1999
- Published by Elsevier in Theoretical Computer Science
- Vol. 227 (1-2) , 43-78
A classical linear λ-calculus
- 28 September 1999
- Published by Elsevier in Theoretical Computer Science
- Vol. 227 (1-2) , 43-78
A classical linear λ-calculus