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 full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Implementing Spi Calculus Using Nominal Techniques

English

Towards Nominal Computation

2012English

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

SIAM Journal on Optimization
Theoretical Computer ScienceSoftware
2013English

A New Approach to Infinite Dimensional Holomorphy.

English

To S. Esenin’s Nominal Mythology

Sibirskii Filologicheskii Zhurnal
LinguisticsLiteratureLiterary TheoryCultural StudiesLanguage
2003English

Correction to "Infinite Dimensional DeWitt Supergroups and Their Bodies"

Canadian Mathematical Bulletin
Mathematics
2015English

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

International Journal of Mathematics Trends and Technology
2018English

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

Lingua Posnaniensis
2015English

Infinite Dimensional DeWitt Supergroups and Their Bodies

Canadian Mathematical Bulletin
Mathematics
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy