Author pages are created from data sourced from our academic publisher partnerships and public sources.
Monoidal categories with natural numbers object
The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of… Expand
An internal language for autonomous categories
- I. Mackie, L. Román, Samson Abramsky
- Computer Science, Mathematics
- Theory and Formal Methods
- 1 July 1994
We present an internal language for symmetric monoidal closed (autonomous) categories analogous to the typed lambda calculus as an internal language for cartesian closed categories. The language we… Expand
Residuated Semigroups and the Algebraic Foundations of Quantum Mechanics
- L. Román
- 1 December 2005
Let Q be an idempotent and right-sided quantale. There is a one to one correspondence between quantifiers and non-commutative binary operations making Q an idempotent and right-sided quantale. If Q… Expand
Ariensin, a new lignan from Bursera ariensis.
- J. D. Hernández, L. Román, J. Espiñeira, P. Joseph-Nathan
- Chemistry, Medicine
- Planta medica
- 1 April 1983
From acetone extracts of the exudate of the tree Bursera ariensis, a new bilignan, named ariensin, has been isolated and characterized as (2R,3R)-bis-2.3-(3.4-methylenedioxybenzyl-)-1.4-butanediol… Expand
This article is to discuss the severalimplications introduced in quantum mechanics. Thisdiscussion will be from a rigorous logical point ofview.
Research on historical demography
- Leopoldo Román
A review of historical demographic research in Romania since 1944 is presented. Studies dealing with ancient times up to the tenth century the tenth through eighteenth centuries and the nineteenth… Expand
[Dithiourea derivatives as analytic reagents. Photometric analysis of bismuth using bis-phenylthiourea in pharmaceutical compounds].
Rumanian Research in Historical Demography: a Note
- Leopoldo Román
- Sociology, Medicine
- Journal of family history
- 1 June 1981
Historical-demographic studies in Rumania have undoubtedly recorded some success in our decade, a success which will become more apparent if we examine some characteristic traits of its research.… Expand