# Electronic Notes in Theoretical Computer Science

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 273-289

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 487-514

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 132-153

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 515-534

^{-}> , a concise formulation of a proof term calculus for the intuitionistic modal logic S4 that is well-suited for practical applications. We show that, with respect to provability, it is equivalent to other formulations in the literature, sketch a simple type checking algorithm, and prove subject reduction and the existence of canonical forms for well-typed terms...

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 447-486

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 114-131

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 66-90

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 370-392

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 232-252

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 32-45

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 411-429

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 182-198

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 1-12

^{~}and KMS

^{~}are introduced, having complete and compact metric spaces as objects and -adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered...

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 46-65

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 214-231

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 307-312

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 430-446

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 290-301

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 313-333

Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 199-213

_{A}. In the special case that A is a presheaf category, we characterize...