Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

@inproceedings{Srensen2006LecturesOT,
  title={Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)},
  author={M. S{\o}rensen and P. Urzyczyn},
  year={2006}
}
Description: The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level… Expand
Computational Soundness and Adequacy for Typed Object Calculus
A typed lambda calculus with intersection types
...
1
2
3
4
5
...

References

SHOWING 1-5 OF 5 REFERENCES
+353-1-481-1716 or +353-1-653-1571 -From Rest of World Pay by credit card: You will receive an email with a link to a secure webpage to enter your credit card details
  • +353-1-481-1716 or +353-1-653-1571 -From Rest of World Pay by credit card: You will receive an email with a link to a secure webpage to enter your credit card details
If you have a Marketing Code please enter it below: Marketing Code: Please note that by ordering from Research and Markets you are agreeing to our Terms and Conditions at http
  • If you have a Marketing Code please enter it below: Marketing Code: Please note that by ordering from Research and Markets you are agreeing to our Terms and Conditions at http
Information Please indicate the payment method you would like to use by selecting the appropriate box. Please fax this form to: (646) 607-1907 or (646) 964-6609 -From USA
  • Information Please indicate the payment method you would like to use by selecting the appropriate box. Please fax this form to: (646) 607-1907 or (646) 964-6609 -From USA
Pay by check: Please post the check, accompanied by this form, to: Research and Markets
  • Pay by check: Please post the check, accompanied by this form, to: Research and Markets
Pay by wire transfer: Please transfer funds to: Account number 833 130 83 Sort code 98-53-30 Swift code ULSBIE2D IBAN number IE78ULSB98533083313083 Bank Address Ulster Bank
  • Pay by wire transfer: Please transfer funds to: Account number 833 130 83 Sort code 98-53-30 Swift code ULSBIE2D IBAN number IE78ULSB98533083313083 Bank Address Ulster Bank