Emil Sekerinski ( Ed . ) SQRL Report 34 McMaster University June 2005

Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation

Chiron is a derivative of von-Neumann-Bernays-Gödel (nbg) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. Unlike traditional set theories such as Zermelo-Fraenkel (zf) and nbg, Chiron is equipped with a type system, lambda notation, and definite and indefinite description. The type system includes a universal type, dependent types, dependent fun...

System Speciication Case Studies with B

Bimonadic Semantics for Basic Pattern Matching Calculi

The pattern matching calculi introduced by the first author are a refinement of the λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. While related work in the literature only uses a single monad, typically Maybe, for matchings, we present an axiomatic approach to semantics of these pattern matching calculi using two monads, one for exp...

An Action System Approach to the Steam Boiler Problem

Integrable dynamics of coupled Fermi-Bose condensates

Emil A. Yuzbashyan,1 Vadim B. Kuznetsov,2 and Boris L. Altshuler3 1Center for Materials Theory, Department of Physics and Astronomy, Rutgers University, Piscataway, New Jersey 08854, USA 2Department of Applied Mathematics, University of Leeds Leeds, LS2 9JT, United Kingdom 3Physics Department, Princeton University, Princeton, New Jersey 08544, USA Received 29 June 2005; revised manuscript recei...