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 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 Albert Simmons written?

Albert Simmons has written: 'Saint and Cynic'


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 Nicola Simmons written?

Nicola Simmons has written: 'Collaborative reflection'


What has the author Gordon Simmons written?

Gordon Simmons has written: 'Springboards from nature'


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 HW Simmons written?

H.W Simmons has written: 'Inside a comprehensive school'

Trending Questions
What is the fraction for 5? Length width height and distance are all what forms of measurement? What does a pdx theater mean? What two alphabets in ancient Rome share the most similarities? How much tax will there be if there are 429.99? What happened in 1939 in Germany? How Dim lights on 1994 Corvette? What fraction having rational expression in its numerator or denominator or both? What is topdown approach of software design? What is a feed tub? How did merchant class influence the Renaissance? What does elephents so to find the male? Who is grace pulido-tan previous undersecratary of DOF? How do you spell Artemis in ancient Greek? What is the price elasticity of demand for fast food? What does it mean when you dream of finding a family member dead? What is 28 degrees in celsius and fairenheit? When do the san Diego padres wear their brown jerseys? how mush 6's is in 85 and what is left over? The sum of two numbers is 19 and their product is 78. What is the smaller number?

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 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.