1.

図書
図書
1. An invitation to applied category theory : seven sketches in compositionality (: hbk. ; : pbk.)
Brendan Fong, David I. Spivak
出版情報: Cambridge : Cambridge University Press, c2019
所蔵情報: loading…
2.

図書
図書
2. Lambda calculus with types
Henk Barendregt, Wil Dekkers, Richard Statman
出版情報: New York : Association for Symbolic Logic , Cambridge : Cambridge University Press, 2013
シリーズ名: Perspectives in logic
所蔵情報: loading…
3.

図書
図書
3. Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 11-13, 2006, Charleston, South Carolina, USA
Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Algorithms and Computation Theory (SIGACT)
出版情報: New York, N.Y. : Association for Computing Machinery, c2006
所蔵情報: loading…
4.

図書
図書
4. Lectures on the Curry-Howard isomorphism
Morten Heine Sørensen, Paweł Urzyczyn
出版情報: Amsterdam : Elsevier, 2006
シリーズ名: Studies in logic and the foundations of mathematics ; v. 149
所蔵情報: loading…
5.

図書
図書
5. Proceedings : 21th Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : 12-15 August 2006, Seattle, Washington
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…
6.

図書
図書
6. Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 12-14, 2005, Long Beach, California, USA
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2005
シリーズ名: SIGPLAN notices
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
8.

図書
図書
8. Digital signal and image processing (: cloth ; : WIE)
Tamal Bose ; with Francois Meyer contributing Chapter 10 and Mei-Qin Chen contributing the Appendix
出版情報: Hoboken, N.J. : J. Wiley, c2004
所蔵情報: loading…
9.

図書
図書
9. Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Venice, Italy, January 14-16, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2004
所蔵情報: loading…
10.

図書
図書
10. Reductive logic and proof-search : proof theory, semantics, and control (: hbk)
David J. Pym and Eike Ritter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2004
シリーズ名: Oxford logic guides ; 45
所蔵情報: loading…