[FOM] illative combinatory logic

Andreas Blass ablass at umich.edu
Mon Mar 26 13:45:24 EDT 2012

Previous message: [FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]
Next message: [FOM] A few more thoughts on the expression “only in a Pickwickian sense”
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I believe "illatus" is the past passive participle of the Latin verb "inferre", one of whose meanings is  "to conclude".

Andreas Blass

Previous message: [FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]
Next message: [FOM] A few more thoughts on the expression “only in a Pickwickian sense”
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list