Gilles Dowek - Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 516, publicationDate : 2014-07-15, releaseDate : 2014-07-15, publishers : Gilles Dowek, languages : english, ISBN : 331908917X ...