Dedicated to our colleague and friend Michael Machtey
نویسندگان
چکیده
منابع مشابه
A NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملA NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملEvangelos Anastassakis: Scientist, Colleague and Friend
I first met Evangelos at the University of Pennsylvania in the Fall of 1969. Fred Pollak and I had started setting up a Raman laboratory at Brown University and, given Fred’s interest and experience in uniaxial stress techniques, we had decided to launch a program for measuring the effect of such stress on Raman phonons in solids, in particular semiconductors. We decided to begin with silicon. ...
متن کاملThomas G. Pickering: friend, colleague and scientist.
We, in common with many others, realized that with his passing, an era in hypertension research had also ended, and that it would be remiss of us and of ‘Blood Pressure Monitoring’ on which he served with us as a senior editor for so many years, if we did not pay tribute to his remarkable achievements. We acknowledge it as a tribute to the friendship and respect that Tom inspired across the wor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1981
ISSN: 0022-0000
DOI: 10.1016/0022-0000(81)90032-5