バックアップ
[
{
"title" : "Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)",
"isbn" : "0444508538",
"date" : "2006-04-12T06:06:44.000Z",
"publisher" : "Elsevier Science",
"authors" : "B. Jacobs",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categories for Types (Cambridge Mathematical Textbooks)",
"isbn" : "0521457017",
"date" : "2006-04-12T06:05:33.000Z",
"publisher" : "Cambridge University Press",
"authors" : "Roy L. Crole",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)",
"isbn" : "0262231697",
"date" : "2006-04-12T06:16:23.000Z",
"publisher" : "The MIT Press",
"authors" : "Glynn Winskel",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)",
"isbn" : "1852331453",
"date" : "2006-04-12T06:11:03.000Z",
"publisher" : "Springer",
"authors" : "Masahito Hasegawa",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "数理論理学 (コンピュータ数学シリーズ)",
"isbn" : "4339025364",
"date" : "2006-04-17T01:00:53.000Z",
"publisher" : "コロナ社",
"authors" : "林 晋",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)",
"isbn" : "3540208542",
"date" : "2006-06-19T03:01:01.000Z",
"publisher" : "Springer",
"authors" : "Yves Bertot, Pierre Castéran",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Computability and Complexity: From a Programming Perspective (Foundations of Computing)",
"isbn" : "0262100649",
"date" : "2006-04-11T07:36:25.000Z",
"publisher" : "The MIT Press",
"authors" : "Neil Deaton Jones",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Types and Programming Languages",
"isbn" : "0262162091",
"date" : "2006-04-11T07:38:53.000Z",
"publisher" : "The MIT Press",
"authors" : "Benjamin C. Pierce",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)",
"isbn" : "0262071436",
"date" : "2006-04-12T06:13:06.000Z",
"publisher" : "The MIT Press",
"authors" : "Carl A. Gunter",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categories for the Working Mathematician",
"isbn" : "3540900357",
"date" : "2006-04-14T02:17:14.000Z",
"publisher" : "Springer-Verlag Berlin and Heidelberg GmbH \u0026 Co. K",
"authors" : "S. MacLane",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Basic Category Theory for Computer Scientists (Foundations of Computing)",
"isbn" : "0262660717",
"date" : "2006-04-11T07:23:45.000Z",
"publisher" : "The MIT Press",
"authors" : "Benjamin C. Pierce",
"categories" : "",
"score" : "",
"comment" : ""
}
]
