Location of Repository


By Daniel L. Ventura, Mauricio Ayala-rincón and Fairouz D. Kamareddine


Explicit Substitution Intersection Types for λ dB The system λ sm dB Intersection Types for λσ The λσ-calculus The system λσ ∧ Intersection Types for λse The system λs sm The system λse ∧ Conclusion 2 / 44The λ-calculus Proposed by Church in 1932. [Church32

Topics: λ.1 ≃ λx.x ≃ λy.y
Year: 2010
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.mat.unb.br/%7Eventu... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.