Cited By
View all- Mackie I(2008)Lilac: a functional programming language based on linear logicJournal of Functional Programming10.1017/S09567968000011314:04(395-433)Online publication date: 7-Nov-2008
- Jia LWalker D(2004)Modal Proofs as Distributed ProgramsProgramming Languages and Systems10.1007/978-3-540-24725-8_16(219-233)Online publication date: 2004
- Mikami SAkama Y(2002)A Study of Abramsky’s Linear Chemical Abstract MachineTyped Lambda Calculi and Applications10.1007/3-540-48959-2_18(243-257)Online publication date: 27-May-2002
- Show More Cited By