Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Submitted to: c Andreas Abel and Nicolai Kraus
 

Summary: Submitted to:
LFMTP'11
c Andreas Abel and Nicolai Kraus
This work is licensed under the
Creative Commons Attribution License.
A Lambda Term Representation
Based on Linear Ordered Logic
Andreas Abel
Theoretical Computer Science
Institut f®ur Informatik
Ludwig-Maximilians-Universit®at
M®unchen, Germany
andreas.abel@ifi.lmu.de
Nicolai Kraus
Functional Programming Laboratory
School of Computer Science
University of Nottingham
Nottingham, United Kingdom
ngk@cs.nott.ac.uk
We introduce a new nameless representation of lambda terms based on ordered logic. At a lambda

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences