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

Project Activity

See All Activity >

License

Other License

Follow SimPouλet

SimPouλet Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

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

Additional Project Details

Intended Audience

Education, Science/Research

Registered

2010-06-14

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

PhEq_bootstrap
FDA's f2 computation with bootstrap technique
Discrete Event Calculus Reasoner
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
Agda
Agda is a dependently typed programming language
Black Box Persistence
A robust, easy to use Object-Relational Persistence Layer Framework for java projects. The purpose of which is to remove as much hand coded JDBC SQL for all the basic CRUD functions. This includes automatic handling of polymorphic objects, associations, t
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant