An interactive, incremental and portable computer algebra system for λ-calculus and combinatory logic based on video edition and rewriting techniques

  • Nelly Girard
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Nelly Girard
    • 1
  1. 1.LITP-Paris VI (couloir 45-55, 2e étage)Paris Cedex 05France

Personalised recommendations