Masahito Hasegawa Typed Lambda Calculi and Applications - 2013 ISBN: 978-3-642-38946-7 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsMathematics of ComputingSymbolic and Algebraic ManipulationComputer Science