coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: feliot AT noos.fr
- To: coq-club AT pauillac.inria.fr
- Subject: Refinement calculus in Coq
- Date: Sun, 25 Mar 2001 23:26:12 +0200
hello,
I'm looking for any works on the axiomatisation in coq of the following subjects :
- refinement calculus
- lattices
- lineare logic
some works have been donne using HOL.
Best regards
--
Claude Feliot
8 avenue Parmentier
75011 Paris
Tel : 01 43 48 16 73
GSM : 06 14 08 41 45
- Refinement calculus in Coq, feliot
Archive powered by MhonArc 2.6.16.