Showing 1 - 4 results of 4 for search '', query time: 0.02s Refine Results
  1. 1

    Language in action : categories, lambdas and dynamic logic / by Benthem, J. F. A. K. van, 1949-

    Published 1995
    Book
  2. 2

    Proceedings of the workshop on programming logic /

    Published 1989
    Book
  3. 3
  4. 4

    Cours D.E.A. 86-87 : lambda calcul typé / by Girard, Jean-Yves

    Book