Switch to: References

Add citations

You must login to add citations.
  1. Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
    Download  
     
    Export citation  
     
    Bookmark   5 citations