๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Construction of the seven basic crystallographic units

โœ Scribed by Li, Thomas; Worrell, Jay H.


Book ID
121311775
Publisher
American Chemical Society
Year
1989
Tongue
English
Weight
927 KB
Volume
66
Category
Article
ISSN
0021-9584

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The basic unit of computation
โœ Zador, Anthony M. ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 68 KB
Variants of the basic calculus of constr
โœ M.W. Bunder; Jonathan P. Seldin ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 287 KB

In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version i