Inductive logic on an intuitionistic Basic

Inductive logic on an intuitionistic Basic

Bibliographic Details
Main Author:	Prys, Williams A. G.
Published:	University of Oxford 1978
Subjects:	005.13
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469588

Similar Items

Logic and the development of programming languages, 1930-1975
by: Priestley, P. M.
Published: (2008)

Specifying the ubiquitous user interface using interaction style
by: Gilroy, Stephen William
Published: (2005)

Foci and centres in the design and use of pattern languages
by: Kavanagh, Maria Joy
Published: (2005)

Trace-based just-in-time compilation for lazy functional programming languages
by: Schilling, Thomas
Published: (2013)

Some directed graph algorithms and their application to pointer analysis
by: Pearce, David James
Published: (2005)

Reasoning about programs using operational semantics and the role of a proof support tool
by: Hughes, John Robert Derek
Published: (2011)

Realizability toposes and language semantics
by: Longley, John R.
Published: (1995)

Game semantics and subtyping
by: Chroboczek, Juliusz
Published: (2003)

Investigating and improving novice programmersâ€™ mental models of programming concepts
by: Ma, Linxiao
Published: (2007)

A functional semantics for space and time
by: Hope, Catherine
Published: (2008)

Practical implementation of a dependently typed functional programming language
by: Brady, Edwin ?
Published: (2005)

Compiling and reasoning about exceptions and interrupts
by: Wright, Joel J.
Published: (2005)

A state-based join point model and language for AOP
by: Ali, Noorazean Mohd
Published: (2011)

Strategic modelling with graph rewriting tools
by: Namet, Olivier
Published: (2012)

Reasoning about locks and transactions in concurrent programs
by: Barnett, Granville
Published: (2014)

Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
by: Rajan, Amala Vijaya Selvi
Published: (2009)

A generic high-level specification language for non-functional properties of component-based systems
by: Alreshidi, Abdulrahman Nassar
Published: (2016)

Inferring visual contracts from Java applications
by: Alshanqiti, Abdullah Mahfodh M.
Published: (2017)

Modular verification of equivalence for memory allocating procedures
by: Wood, Timothy
Published: (2016)

A domain-specific aspect language approach to distributed systems development
by: Soule, Paul
Published: (2008)

Verifying information flow and metaprogramming in dynamically typed languages
by: Lester, Martin Mariusz
Published: (2015)

The geometry of implementation
by: Mackie, Ian Craig
Published: (1994)

Studies in the design and implementation of programming languages for symbol manipulation
by: Rees, D. J.
Published: (1970)

A distributed stream library for Java 8
by: Chan, Yu
Published: (2016)

GP 2 : efficient implementation of a graph programming language
by: Bak, Christopher
Published: (2015)

Descriptions of groups using formal language theory
by: Rino Nesin, Gabriela Asli
Published: (2016)

Analysing Java identifier names
by: Butler, Simon
Published: (2016)

Parallel evaluation strategies for lazy data structures in Haskell
by: Totoo, Prabhat
Published: (2016)

New developments to Skalpel : a type error slicing method for explaining errors in type and effect systems
by: Pirie, John
Published: (2014)

B annotations in critical control systems development
by: Ifill, Wilson
Published: (2008)

A verified compiler for Handel-C
by: Perna, Juan Ignacio
Published: (2010)

Towards meta-evolution via embodiment in artificial chemistries
by: Nellis, Adam
Published: (2012)

FlexibO : language and its application to static analysis
by: Zhou, Jianguo
Published: (2006)

Linking the semantics of a multithreaded discrete event simulation language
by: Zhu, Huibiao
Published: (2005)

An empirical evaluation of modelling languages for fourth generation e-commerce application development
by: Safieddine, Fadi
Published: (2004)

Bifibrational parametricity : from zero to two dimensions
by: Orsanigo, Federico
Published: (2017)

An investigation into Event-B methodologies and timing constraint modelling
by: Sulskus, Gintautas
Published: (2017)

Safety-Critical Java Level 2 : applications, modelling, and verification
by: Luckcuck, Matthew
Published: (2016)

Types for modules
by: Russo, Claudio V.
Published: (1998)

A type-based locality analysis for a functional distributed language
by: Moreira, Alvaro F.
Published: (2000)