• Home
  • A Model for Attention-Driven Judgements in Type Theory with Records

A Model for Attention-Driven Judgements in Type Theory with Records

Sourcetitle: 
Proceeds of CoCoNat 2015, July 20 - 23, 2015 Indiana University, Bloomington: Conference on Computing Natural Reasoning collacated with WoLLIC: Workshop on Logic, Language, Information and Computation
Year of publication: 
2015
PublicationType: 
Conference Abstract - peer reviewed

http://www.indiana.edu/~iulg/wollic/abstracts/SD.html

To the top

Page updated: 2016-09-07 11:37

Send as email
Print page
Show as pdf

X
Loading