Home Library Search History Settings Plans

Log in Create account

Home Library Search History Settings Plans

Log in Create account

Fully Abstract Models of Typed lambda-Calculi

Authors: Robin Milner - Theoretical Computer Science 1977 cited by 477

Research-grade literature search and reference management for serious knowledge work.

Home Library Search History Settings Plans

Blog Authors Data sources For librarians API documentation Legal notice Terms of service Privacy policy

Fully Abstract Models of Typed lambda-Calculi | Litlas