John N. Crossley
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1995–2005
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | LPAR | Disjunctive Constraint Lambda Calculi. | Matthias M. Hlzl, John N. Crossley |
| 2000 | LOPSTR | Protocols between programs and proofs. | Iman Poernomo, John N. Crossley |
| 2000 | LOPSTR | Protocols between Programs and Proofs. | Iman Poernomo, John N. Crossley |
| 1995 | ISAAC | Practical Logic (Abstract). | John N. Crossley |