β Scribed by Ono, Hiroakira; Kanazawa, Makoto; de Queiroz, Ruy
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
E. Borger ... (et.al.) Eds.
By Presenting State-of-the-art Results In Logical Reasoning And Formal Methods In The Context Of Artificial Intelligence And Ai Applications, This Book Commemorates The 60th Birthday Of JΓΆrg H. Siekmann. The 30 Revised Reviewed Papers Are Written By Former And Current Students And Colleagues Of JΓΆrg
Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.
Edited In Collaboration With Folli, The Association Of Logic, Language And Information, This Book Constitutes The 4th Volume Of The Folli Lnai Subline; Containing The Refereed Proceedings Of The 15th International Workshop On Logic, Language, Information And Computation, Wollic 2008, Held In Edinbur