Author:
Sørensen Morten Heine,Urzyczyin Pawel
Reference53 articles.
1. Computational interpretations of linear logic;Abramsky;Theoretical Computer Science,1993
2. Y. Akama. A lambda-to-CL translation for strong normalization. In de Groote and Hindley [208], pages 1–10.
3. Entailment;Anderson,1975
4. Entailment;Anderson,1992
5. Optimal Implementation of Functional Programming Languages, volume 45 of Cambridge Tracts in Theoretical Computer Science;Asperti,1998