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
How many times can 4675 go into 1650? What is the minimum rotor thickness for rear of 2003 volkswagen jetta? How old is Harold Kroto? How do you accept a friend request on aim that has been sent when you were offline? What did the Germans declare after occupying Athens? Why does the explicit rule provide more information about sequences than the recursive rule? Is wood flooring or ceramic better for a kitchen? What is the plural of note? Is it safe to heat oil in the microwave? Is a wolf cold blooded or warm blooded? What is the compound formed for silver and sulfur? When one party prepares a contracted and submits it to the other party on a take-it-or-leave-it basis the contract is termed? How is wood measured in the forestry industry? Can a Computer take decisions Discuss? How do you find the answer an estate is divided 54 to spouse 18 to his children 16 to his grandchildren his college received 79000 how moch did the children receive? Why doesn't the water vapor stay over the ocean? What was a common infection during world war 1? How much does a bat weigh? Does a panda bear molt as it grows? What is the phone number of the Wellsville Carnegie Public Library in Wellsville?

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 ©2026 Infospace Holdings LLC, A System1 Company. 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.