Journals in DBLP
Mathematical Structures in Computer Science
2000, volume: 10, number: 1
- Healfdene Goguen, Jean Goubault-Larrecq
Sequent combinators: a Hilbert system for the lambda calculus. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2000, v:10, n:1, pp:1-79 [Journal] - Steven Awodey
Topological representation of the lambda-calculus. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2000, v:10, n:1, pp:81-96 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002