Login / Signup
"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.
Chris Reade
Published in:
J. Funct. Program. (2004)
Keyphrases
</>
mit press
artificial intelligence
programming language
united kingdom
user interaction
natural language
language learning
theorem proving
interaction model
human communication
information technology
virtual environment
human computer interaction
theorem prover
proof theory