Type-Logical Semantics. Carpenter, B. MIT Press.
bibtex   
@book{carpenter1997,
  author = {Bob Carpenter},
  date = {1997},
  location = {Cambridge, MA},
  publisher = {MIT Press},
  title = {Type-Logical Semantics},
}

Downloads: 0