A Formalisation of Nominal Α-Equivalence With A, C, and AC Function Symbols

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2019.02.020
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

A Classic Morita Equivalence Result for Fell Bundle $C^*$-Algebras

Mathematica Scandinavica
Mathematics
2011English

Equivalence Outcome in Single Subjects as a Function of Training Structure

Psychological Record
ArtsPsychologyHumanities
2000English

Photochromism of a BaMgSiO4 Phase Prepared With a Nonstoichiometric Nominal Composition

Transactions of the Materials Research Society of Japan
2016English

Structure-Function Relationships in Α-Galactosidase A

Acta Paediatrica, International Journal of Paediatrics
MedicineChild HealthPediatricsPerinatology
2007English

Topological Orbit Equivalence and C*-Crossed Products.

Journal für die Reine und Angewandte Mathematik
MathematicsApplied Mathematics
1995English

The $C^m$ Norm of a Function With Prescribed Jets I

Revista Matematica Iberoamericana
Mathematics
2010English

A Model of Rule-Of-Thumb Consumers With Nominal Price and Wage Rigidities

2012English

The $C^m$ Norm of a Function With Prescribed Jets II

Revista Matematica Iberoamericana
Mathematics
2009English

James Is Polite and Punctual (And Useless): A Bayesian Formalisation of Faint Praise

Thinking and Reasoning
PhilosophyPsychologyExperimentalCognitive Psychology
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy