bonotake's library 21 articles Export

	Types as Theories [My Copy] In Topology and Category Theory in Computer Science (1991), pp. 357-390. by Joseph Goguen edited by George M. Reed, Andrew W. Roscoe, Ralph F. Wachter posted to category-theory type-theory by bonotake on 2007-03-07 03:00:07 as along with 3 people GorgeousNicko scis0000001 marcinzalewski
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted to category-theory by bonotake on 2007-03-06 11:26:31 as along with 14 people and 1 group pedagand robotact spl ansobol jrw scis0000001 pilho rgb kaqui ajk artur masteraka popx marcinzalewski pileWorks
	Closed Freyd- and $κ$-Categories [My Copy] In Proceedings 26th Int.\ Coll.\ on Automata, Languages and Programming, ICALP'99, Prague, Czech Rep., 11--15 July 1999, Vol. 1644 (1999), pp. 625-634. by John Power, Hayo Thielecke edited by J. Wiedermann, van Emde, M. Nielsen posted to category-theory haskell by bonotake on 2006-02-19 14:21:28 as along with 1 person msakai
	Object Interaction [My Copy] In Mathematical Foundations of Computer Science (1992), pp. 200-208. by Jose F. Costa, Amilcar Sernadas, Cristina Sernadas, Hans D. Ehrich posted to category-theory concurrency institution by bonotake on 2006-02-09 23:07:47 as along with 2 people and 1 group mahler scis0000001 Rightscom
	Petri nets, algebras, morphisms and compositionality [My Copy] Information and Computation, Vol. 72, No. 3. (March 1987), pp. 167-179. by G. Winskel posted to category-theory concurrency institution by bonotake on 2006-02-09 23:04:30 as
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to category-theory institution specification by bonotake on 2006-02-05 17:14:42 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002 ConcertRG Rightscom
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to haskell type-classes types by bonotake on 2006-02-05 16:54:07 as along with 10 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai tov calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted to haskell type-classes by bonotake on 2006-02-05 16:52:03 as along with 10 people and 2 groups samth greenrd zednenem bec voigt msakai spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	$My PDF l&\#252;ttgen_00_compositional.pdf$ A compositional approach to statecharts semantics [My Copy] In SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 25, No. 6. (November 2000), pp. 120-129. by Gerald L&\#252;ttgen, Michael von der Beeck, Rance Cleaveland posted to semantics by bonotake on 2006-02-05 16:31:53 as along with 1 person leonardo
	Categorical Logic and Type Theory [My Copy] (01 December 1998) by B. Jacobs posted to category-theory logic type-theory by bonotake on 2006-02-05 16:30:32 as along with 3 people and 1 group DavidChemouil mahler msakai Rightscom
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to type-theory by bonotake on 2006-02-05 16:29:12 as along with 21 people and 2 groups wain ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory monad by bonotake on 2006-02-05 16:26:31 as along with 10 people and 1 group kozima pedagand JeffreyPalmer voigt msakai dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Categories and Computer Science (Cambridge Computer Science Texts) [My Copy] (27 August 1992) by R. F. C. Walters posted to category-theory by bonotake on 2006-02-05 16:25:09 as along with 6 people and 1 group ansobol jrw pajoma BarrosH proportional incognito musil
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted to category-theory by bonotake on 2006-02-05 16:19:19 as along with 12 people and 1 group pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional devnull Scis0000002 ds jimburton Lambda the Ultimate
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted to category-theory by bonotake on 2006-02-05 15:51:59 as along with 9 people and 1 group seno ddemange michaelbanks pedagand msakai NitinCR rgb kaqui incognito pileWorks
	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted to category-theory by bonotake on 2006-02-05 15:51:20 as along with 13 people and 2 groups robotact shivak pedagand ansobol mahler BarrosH msakai aleks mstone NitinCR conal masteraka mmarcus Rightscom Compilers
	Categories for Types (Cambridge Mathematical Textbooks) [My Copy] (27 January 1994) by Roy L. Crole posted to category-theory by bonotake on 2006-02-05 15:42:05 as along with 2 people pedagand mmarcus
	Categories for Software Engineering [My Copy] (16 May 2004) by José L. Fiadeiro, Jost L. Fiadeiro posted to category-theory by bonotake on 2006-02-05 15:40:09 as along with 3 people and 1 group DavidChemouil mahler mstone Rightscom
	The categorical abstract machine [My Copy] Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202. by G. Cousineau, P. L. Curien posted to category-theory by bonotake on 2006-02-05 15:28:44 as along with 8 people and 2 groups jespera LeonSmith mahler msakai scis0000001 mstone rgb devnull Rightscom pileWorks
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to monad by bonotake on 2006-02-05 15:19:37 as along with 8 people and 2 groups ama08r dherman JacquesC greenrd cedricboidin zednenem msakai mcclurmc NU-PRL SRG_at_UCD
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted to initial-algebras by bonotake on 2006-02-05 15:13:54 as along with 4 people and 1 group dherman msakai ryanc marcinzalewski NU-PRL