Neil Leslie

According to our database1, Neil Leslie authored at least 2 papers between 1991 and 2004.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
CHR: A Constructive Relevant Natural-deduction Logic.
Proceedings of Computing: The Australasian Theory Symposium, 2004

1991
Proof Figures And Structural Operators For Categorial Grammar.
Proceedings of the EACL 1991, 1991


  Loading...