Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Washington de Carvalho-Segundo

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

Theoretical Computer Science

Computer Science

Theoretical Computer Science

English

On Solving Nominal Fixpoint Equations

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

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

Mathematica Scandinavica

English

Equivalence Outcome in Single Subjects as a Function of Training Structure

Psychological Record

English

Photochromism of a BaMgSiO4 Phase Prepared With a Nonstoichiometric Nominal Composition

Transactions of the Materials Research Society of Japan

English

Structure-Function Relationships in Α-Galactosidase A

Acta Paediatrica, International Journal of Paediatrics

English

Topological Orbit Equivalence and C*-Crossed Products.

Journal für die Reine und Angewandte Mathematik

Applied Mathematics

English

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

Revista Matematica Iberoamericana

English

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

English

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

Revista Matematica Iberoamericana

English

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

Thinking and Reasoning

Cognitive Psychology

English