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 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 will you characterize the rate of reaction of an aldehyde compared to an aliphatic aldehyde? What are the compatible shifters for an XT 9 speed rear derailleur? What is Nani's birthday? What are the factors and prime factors of 929? In what ways would slaves rebel nonviolently? Did the french revolution inspire similar uprisings all over the world? What is an example sentence with the word tenure? What are the adjectives that can be used with a newborn baby? What is the name of country songs that talks about a boy and his step dad? Has Ireland ever had a blizzard? Who plays Ruby in Home and Away? What is an under keeper's job? Why is nonsuch park called nonsuch park? What is the elevation of Rio de Janeiro Brazil? What are the different kinds of christmas religions? What kind of tools do black smiths use? How do you say a big bad wolf in French? Average cost for adding 10x10 room to a house? How much does Hoda Kotb makes on the today show? What day was october 15 1959?

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.