Ken Kunen is justifiably best known for his work in set theory and topology. What I would guess many of his friends and students in those areas do not know is that Ken also did important work in algebra, especially in quasigroup and loop theory. In fact, I think it is not an exaggeration to say that his work in loop theory, both alone and in collaboration, revolutionized the field. In this pape...

I think analogy is one of the core operations in human cognitive processing. There is evidence that the principles of Gentner‘s structure-mapping theory are applicable from mediumlevel vision to everyday reasoning to cognitive development to scientific discovery. That‘s quite a range of phenomena. Our computational modeling efforts do not yet span anything close to that range. But that‘s one of...

Abstract In Hyland et al. (1980), Hyland, Johnstone and Pitts introduced the notion of tripos for purpose organizing construction realizability toposes in a way that generalizes localic from complete Heyting algebras. (2002), one finds generalization this eliminating an unnecessary assumption (1980). The aim paper is to characterize triposes over base topos ${\cal S}$ terms so-called constant o...

We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard’s coherence spaces and de Paiva’s Dialectica-like semantics.1

Removal of S-Methylmethionine Sulfonium from Satsuma Mandarin Juice Yutaka OSAJIMA, Mitsuya SHIMODA, Hisao MAEDA* and Shozo UENO** Department of Food Science and Technology, Faculty of Agriculture, Kyushu University, Fukuoka 812 * Wakayama Agricultural Processing Research Corporation , Momoyama-cho, Naga-gun, Wakayama-ken 649-61 ** Saga-ken Horticultural Growers Co-operative Association , Ogi-c...

A limited number of evolutionarily conserved signal transduction pathways are repeatedly reused during development to regulate a wide range of processes. Here we describe a new negative regulator of JAK/STAT signaling and identify a potential mechanism by which the pleiotropy of responses resulting from pathway activation is generated in vivo. As part of a genetic interaction screen, we have id...

Moggi and Hyland showed how to model various polymorphic A-calculi inside the effective topos and other rea~zability toposes; types are modelled by the so-called modest sets, which form an internal category Mod in the topos that is, in a certain sense, complete. Polymorphic types are modelled as products indexed by the object of modest sets. The same idea lets us model polymorphism in reflectiv...