Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
by
 
Hasegawa, Masahito. editor.

Title
: 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Author
: 
Hasegawa, Masahito. editor.

ISBN
: 
9783642389467

Physical Description
: 
XII, 251 p. 18 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7941

Subject Term
: 
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Electronic data processing.
 
Logic, Symbolic and mathematical.
 
Mathematical Logic and Formal Languages.
 
Mathematics of Computing.
 
Logics and Meanings of Programs.
 
Symbolic and Algebraic Manipulation.
 
Computing Methodologies.
 
Mathematical Logic and Foundations.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-38946-7


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334702-1001ONLINE(334702.1)Elektronik Kütüphane