Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Meetings
    • HotSoS Symposium
    • HCSS Conference
    • C3E Workshop
    • SCC Meeting
Not a member? Forgot your password?
  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • A Proof of The Church-Rosser Theorem For The Lambda Calculus In Higher O...

A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic

Download
Tags:
    HCSS 2001
    Conference paper
    NSA
    HCSS '01
License: CC-2.5
Submitted by Timothy Thimmesch on Wed, 02/15/2012 - 14:31
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X