Home Advanced Search

Advanced Search - Page 1

Type-theoretical grammar
  • DJVU
  • English
  • Year: 1995
  • Author: Aarne Ranta
Type-Theoretical Grammar (Indices, 1
  • DJVU
  • English
  • Year: 1995
  • Author: Aarne Ranta
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Computing Meaning: Volume 4
  • PDF
  • English
  • Year: 2014
  • Author: Harry Bunt, Johan Bos, Stephen Pulman (auth.), Harry Bunt, Johan Bos, Stephen Pulman (eds.)