Advertisement

Lego

  • Conor McBride
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3600)

Abstract

Statement

{b|nat}{a|nat}(Eq (times two (times a a)) (times b b))-> (Eq a zero / Eq b zero)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Conor McBride
    • 1
  1. 1.No institute given 

Personalised recommendations