sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000120264482 | 1 hits
Person
ISNI: 
0000 0001 2026 4482
http://isni.org/isni/0000000120264482
Name: 
Callaghan, P.
Callaghan, Paul,
Dates: 
1970-
Creation class: 
Language material
Text
Creation role: 
author
creator
editor
Related names: 
Durham University
International Workshop on Types for Proofs and Programs, TYPES (08-12-2000 - 12-12-2000 : Durham, UK)
International Workshop on types for proofs and programs, TYPES 2000 (08-12-2000 - 12-12-2000 : Durham, UK)
TYPES 2000 (2000 : Durham, England)
Titles: 
evaluation of Lolita and related natural language processing systems, An
Types for proofs and programs : International workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Notes: 
Thesis (Ph.D.)
Sources: 
VIAF DNB LC NKC
BOWKER
NTA