SimPouλet

Brought to you by: ppedrot

Last Update: 2016-07-24

Browse Code

A Coq proof of Eijiro Sumii's article “A Complete Characterization of Observational Equivalence in Polymorphic λ-calculus with General References”.

Other License

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Rate This Project

User Reviews

Be the first to post a review of SimPouλet!

Education, Science/Research

2010-06-14

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Recommended Projects

Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
Darwin_Test
Darwin_Test validates the Darwincore2 format, the standard for natural history collections and observational databases on the GBIF network.
Coq Jupyter
Jupyter kernel for Coq
proof-logic
Proof Logic : A logical framework for theorem proving
PhEq_bootstrap
FDA's f2 computation with bootstrap technique