Michael Barr - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2014

The Outer Limits of Reason. Noson Yanofsky. MIT Press, Cambridge, MA and London, England, 2013, xiv + 403 pp., ISBN 978-0-262-01935-4, $29.95Michael Barr. tamm, 121(7):658-660, 2014. [doi]

2011

Native to HTML5: A Real-World Mobile Application Case StudyRachel Gawley, Jonathan Barr, Michael Barr. mobicase 2012: 188-206 [doi]

SoundBoom: Breaking App BarriersRachel Gawley, Jonathan Barr, Michael Barr. mobicase 2012: 345-348 [doi]

2006

Programming embedded systems - with C and GNU development tools: thinking inside the box: includes real-time and Linux examples (2. ed.)Michael Barr, Anthony Massa. O Reilly, 2006. [doi]

2000

IntroductionMichael Barr, Philip J. Scott, R. A. G. Seely. mscs, 10(2):97-98, 2000.

1999

Programming embedded systems in C and C++ - thinking inside the boxMichael Barr. O Reilly, 1999.

1998

A Java Development and Runtime Environment for Reconfigurable ComputingDon Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck. ipps 1998: 43-48

1996

Fuzzy Models of Linear LogicMichael Barr. mscs, 6(3):301-312, 1996.

Appendix: Separability of Tensor in Chu Categories of Cector SpacesMichael Barr. mscs, 6(2):213-217, 1996.

Topological spaces and quasi-varietiesMichael Barr, Maria-Cristina Pedicchio. acs, 4(1):81-85, 1996. [doi]

1995

Nonsymmetric *-Autonomous CategoriesMichael Barr. TCS, 139(1&2):115-130, 1995. [doi]

Category theory for computing science (2. ed.)Michael Barr, Charles Wells. Prentice Hall international series in computer science, Prentice Hall, 1995.

1994

Additions and Corrections to Terminal Coalgebras in Well-founded Set Theory Michael Barr. TCS, 124(1):189-192, 1994.

1993

Terminal Coalgebras in Well-Founded Set TheoryMichael Barr. TCS, 114(2):299-315, 1993.

1991

*-Autonomous Categories and Linear LogicMichael Barr. mscs, 1(2):159-178, 1991.

HSP Type Theorems in the Category of PosetsMichael Barr. mfps 1992: 221-234

1990

Fixed Points in Cartesian Closed CategoriesMichael Barr. TCS, 70(1):65-72, 1990.

Category theory for computing scienceMichael Barr, Charles Wells. Prentice Hall International Series in Computer Science, Prentice Hall, 1990.

1987

The Formal Description of Data Types Using SketchesCharles Wells, Michael Barr. mfps 1988: 490-527

Sign in or sign up to see more results.

runs on WebDSL