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 & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
     
    Export citation  
     
    Bookmark   5 citations