John N. Crossley

The Emergence of Number

This book presents detailed studies of the development of three kinds of number. In the first part the development of the natural numbers from Stone-A...

Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age

...

Adapting Proofs-as-Programs

The Curry--Howard Protocol

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches t...

Constructive Order Types

Provability, Computability and Reflection....

The Dasmariñases

Early Governors of the Spanish Philippines

13 Treasures in heaven, and upon earth -- 14 A will but no way -- 15 The young governor -- 16 New ventures and old -- 17 Falling on hard times -- 18 W...

Combinatorial Functors

...

Composition and Context

Fifty Years of Photography

Catalogue of an exhibition, CEMA Gallery Monash University, 20 Aug.-1 Oct. 2004; Walter Jona Gallery, Monterée Studio and Art Gallery, Olinda, Vic., ...