Permissive Nominal Terms and Their Unification: An Infinite, Co-Infinite Approach to Nominal Techniques

Logic Journal of the IGPL- United Kingdom

doi 10.1093/jigpal/jzq006

Full Text

Abstract

Available in

Categories

Date

May 25, 2010

Authors

Murdoch J. Gabbay

Dominic P. Mulligan

Publisher

Oxford University Press (OUP)

Related search

Implementing Spi Calculus Using Nominal Techniques

French

To S. Esenin’s Nominal Mythology

Sibirskii Filologicheskii Zhurnal

Literary Theory

Cultural Studies

English

A New Approach to Infinite Dimensional Holomorphy.

English

Subdifferentials of Nonconvex Supremum Functions and Their Applications to Semi-Infinite and Infinite Programs With Lipschitzian Data

SIAM Journal on Optimization

Theoretical Computer Science

English

Correction to "Infinite Dimensional DeWitt Supergroups and Their Bodies"

Canadian Mathematical Bulletin

English

Towards Nominal Computation

English

Indo-European Nominal O-Stems and Question of Their Origin

Lingua Posnaniensis

English

Unification of Ramanujan Integrals With Some Infinite Integrals and Multivariable Gimel-Function

International Journal of Mathematics Trends and Technology

English

Infinite Dimensional DeWitt Supergroups and Their Bodies

Canadian Mathematical Bulletin

English