answersLogoWhite

0

What has the author Harold Simmons written?

User Avatar

Anonymous

∙ 11y ago
Updated: 8/21/2019

Harold Simmons has written:

'Derivation and computation' -- subject(s): Curry-Howard isomorphism, Lambda calculus, Proof theory, Type theory

User Avatar

Wiki User

∙ 11y ago
Copy

What else can I help you with?

Related Questions

What has the author Erik Leigh Simmons written?

Erik Leigh Simmons has written: 'Simmons'


When was Harold Simmons born?

Harold Simmons was born in 1931.


What has the author Samuel J Simmons written?

Samuel J. Simmons has written: '\\'


What has the author Cissie Simmons written?

Cissie Simmons has written: 'A Berkshire lady'


What has the author Gordon Simmons written?

Gordon Simmons has written: 'Springboards from nature'


What has the author Albert Simmons written?

Albert Simmons has written: 'Saint and Cynic'


What has the author John Simmons written?

John Simmons has written: 'Working together'


What has the author Blake Simmons written?

Blake Simmons has written: 'Bride for bride'


What has the author Nicola Simmons written?

Nicola Simmons has written: 'Collaborative reflection'


What has the author Peter Simmons written?

Peter Simmons has written: 'The Next Crash'


What has the author Harold Lockyear written?

Harold Lockyear has written: 'The Poetry of Harold Lockyear'


What has the author Joyce Simmons written?

Joyce Simmons has written: 'Winning Strategies for Life'

Trending Questions
Where is egr valve located on a vectra 2.2? What is the right term for accidental discovery? Who were john and lugenia burns hope? What was peters suggestion at the transfiguration? Who were HJ Heinz' brothers and sisters? Is gossip mentioned in the bible? Is there school in Louisiana on presidents day in public school s? How tall is Tade Adepoyibi? What is money made out of? How can you identify a fake cashier's check? Why did the first two estates scorn the enlightenment? What advantages does England have being on an Island? Who counts first in cribbage? Who is the artist drawing presentation in the RSA animate? Does bread have a long vowel sound or short vowel sound? What is the median of 3750000 1200000 1950000 1675000 1825000? What day of the week was September 14 1959? Sims 3 How can you move in a rich house? How do you change a 2003 grand am fuel pump? What is they a nominative possessive or objective?

Resources

Leaderboard All Tags Unanswered

Top Categories

Algebra Chemistry Biology World History English Language Arts Psychology Computer Science Economics

Product

Community Guidelines Honor Code Flashcard Maker Study Guides Math Solver FAQ

Company

About Us Contact Us Terms of Service Privacy Policy Disclaimer Cookie Policy IP Issues
Answers Logo
Copyright ©2025 Answers.com. All Rights Reserved. The material on this site can not be reproduced, distributed, transmitted, cached or otherwise used, except with prior written permission of Answers.