3
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Programming Languages and Systems 

      Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming

      ,

      Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 17

          • Record: found
          • Abstract: not found
          • Article: not found

          Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

           N.G de Bruijn (1972)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Nominal logic, a first order theory of names and binding

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Nominal unification

                Bookmark

                Author and book information

                Book
                978-3-642-00589-3
                978-3-642-00590-9
                2009
                10.1007/978-3-642-00590-9
                Book Chapter
                2009
                : 47-61
                10.1007/978-3-642-00590-9_4

                Comments

                Comment on this book

                Book chapters

                Similar content 1,063

                Cited by 3