%0 Book
%A / Luke Ong
%T Typed Lambda Calculi and Applications
%U /book/93574498/Typed-Lambda-Calculi-and-Applications/