answersLogoWhite

0

What has the author Harold Simmons written?

User Avatar

Anonymous

∙ 12y 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

∙ 12y 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 Cissie Simmons written?

Cissie Simmons has written: 'A Berkshire lady'


What has the author John Simmons written?

John Simmons has written: 'Working together'


What has the author Gordon Simmons written?

Gordon Simmons has written: 'Springboards from nature'


What has the author Samuel J Simmons written?

Samuel J. Simmons has written: '\\'


What has the author Blake Simmons written?

Blake Simmons has written: 'Bride for bride'


What has the author Peter Simmons written?

Peter Simmons has written: 'The Next Crash'


What has the author Albert Simmons written?

Albert Simmons has written: 'Saint and Cynic'


What has the author Nicola Simmons written?

Nicola Simmons has written: 'Collaborative reflection'


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
Can you use plastic bowls in the microwave? What is the difference between IPS and UPS? What zodiac sign are you in now 2013? If a car travels an average of 28.6 miles for every gallon of gasoline how far can it travel on 15 gallons? Where can one find more information about foxes? Did Lola Rein Kaufman die? Where is sara palin? Will a labret piercing leave a scar? What are some of Taylor Lautner's accomplishments besides movies? What are the contributions of Pope Gregory? What happens when you shake cream? How much is an jax ice chest worth? What does a credit score measure? What is the definition of an octave in music and how does it relate to the concept of pitch? Are you finished in German? What is 9.984 divided by 2.4? Where can you find an online copy of 'Antigone'? What are lsu colors? What is the LCM of 135 and 105 and 225? What are the legendary titans for huntik season 2?

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.