A theory of inductive definitions with α-equivalence : semantics, implementation, programming language

A theory of inductive definitions with α-equivalence : semantics, implementation, programming language

Bibliographic Details
Main Author:	Gabbay, Murdoch James
Published:	University of Cambridge 2001
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620988

Similar Items

Inductive definitions and recursion theory
by: Grant, Philip William
Published: (1973)

Contact equivalence and bifurcation theory
by: Guimaraes, L. C.
Published: (1979)

An Approach to Semantic Net Theory
by: Barnden, J. A.
Published: (1975)

Equivalence transformations in linear systems theory
by: Fretwell, Paul
Published: (1986)

Cluster combinatorics and derived equivalences for m-cluster tilted algebras
by: Murphy, Graham James
Published: (2008)

A derived Equivalence for the Tits Group
by: Robbins, Daniel Stephen
Published: (2009)

Periodic algebras and derived equivalences
by: Grant, Joseph Steven
Published: (2010)

Decidability and complexity of equivalences for simple process algebras
by: Stríbrná, Jitka
Published: (1999)

Derived equivalences for group algebras
by: Holloway, Miles Lee
Published: (2001)

The design and implementation of typed languages for algebraic specification
by: Hearn, B. M.
Published: (1995)

Elementary equivalence of linear orders and coloured linear orders
by: Mwesigye, Feresiano
Published: (2009)

Matrix factorisations and orbifold equivalence in Landau Ginzburg models
by: Weinreb, Paul Alexander
Published: (2018)

Construction of fully equivalent neuronal cables : an analysis of neuron morphology
by: Ogden, James M.
Published: (1999)

Quasi-hereditary covers and derived equivalences of higher zigzag algebras
by: Bocca, Gabriele
Published: (2018)

Semantics of generalized algebraic structures
by: Coates, R. B.
Published: (1974)

Semantics and pragmatics of the lambda-calculus
by: Wadsworth, Christopher P.
Published: (1971)

Parameter reduction in definition by multi-successor recursion
by: Burville, J. C.
Published: (1973)

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
by: Angelos Charalambidis, et al.
Published: (2015-09-01)

Classification of singularities of functions and mapping via non standard equivalence relations
by: Alharbi, Fawaz
Published: (2011)

An investigation into an operator basis for mathematical semantics
by: Snidvongs, Kamontip
Published: (1975)

On the Lipschitz equivalence of some invariant fractals
by: Marsh, David Timothy
Published: (1989)

An equivalent system for studying periodic points of the beta-transformation for a Pisot or a Salem number
by: Maia, Bruno Henrique Prazeres de Melo e
Published: (2007)

Further developments in the theory, computer implementation and application of bond graphs
by: Asher, G. M.
Published: (1979)

Positive functions defined on Hermitian positive semi-definite matrices
by: Heyfron, Peter
Published: (1990)

Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
by: Stirton, William R.
Published: (1995)

Recursive geometric definition of curves
by: Montiel Mancisidor, Maria Eugenia
Published: (1997)

The equivalence of morasses and simplified morasses in the finite gap cases
by: Morgan, Charles
Published: (1989)

Weak homological equivalence, canonical factorisability and Chinburg's invariants
by: Holland, David
Published: (1990)

Almost flow equivalence and the loop structure of directed graphs
by: Araújo, Paulo Ventura
Published: (1992)

Constructions, inductive types and strong normalization
by: Altenkirch, Thorsten
Published: (1993)

A regularity theory for Fractional Harmonic Maps
by: Roberts, James
Published: (2017)

Theory and implementation of algorithms for Sturm-Lioville computations
by: Marletta, Marco
Published: (1991)

Entailment : semantic and syntactic approaches
by: Paisey, Lorraine
Published: (1988)

Semantic approaches to paraconsistent logic
by: Tuziak, Roman
Published: (1995)

Equivalences on the lattice of topologies and a filter convergence appraoch to separation axioms and minimality
by: Eaton, John Nigel
Published: (1994)

Representations and positive definite functions on topological semigroups
by: Bami, Mahmood Lashkarizadeh
Published: (1982)

Algebraic theories and (oc, 1)-categories
by: Cranch, James Donald
Published: (2009)

Some applications of the theory of test function realisations
by: Pickering, James
Published: (2010)

Realizability semantics for intuitionistic formal systems
by: McCarty, D. C.
Published: (1984)

Discrete module categories and operations in K-theory
by: Hignett, Anthony James
Published: (2009)