litlas
ログインアカウント作成

Fully Abstract Models of Typed lambda-Calculi

著者: Robin Milner - Theoretical Computer Science 1977 被引用: 477

Fully Abstract Models of Typed lambda-Calculi | Litlas