2 research outputs found
Higher-order aspects and context in SUMO
- Author
- Adam Pease
- Allen
- Andrews
- Andrews
- Andrews
- Andrews
- Andrews
- Andrews
- Andrews
- Asperti
- Benzmüller
- Benzmüller
- Benzmüller
- Bertot
- Blackburn
- Blanchette
- Braüner
- Bucav
- Christoph Benzmüller
- Church
- Coquand
- de Melo
- Fitting
- Genesereth
- Girard
- Giunchiglia
- Giunchiglia
- Gordon
- Henkin
- Hindley
- Huet
- Hustadt
- McCarthy
- Miller
- Montague
- Niles
- Pease
- Pfenning
- Pietrzykowski
- Riazanov
- Schulz
- Schulz
- Serafini
- Siekmann
- Sutcliffe
- Sutcliffe
- Thion
- Thomason
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study