Yet Another Deep Embedding of B:Extending de Bruijn Notations

Details Yet Another Deep Embedding of B:Extending de Bruijn Notations Yet Another Deep Embedding of B:Extending de Bruijn Notations

2009-02-23

arxiv.org/abs/0902.3865v1

Computer Science

Logic in Computer Science

16 pages

Scientific paper

We present Bicoq3, a deep embedding of the B system in Coq, focusing on the
technical aspects of the development. The main subjects discussed are related
to the representation of sets and maps, the use of induction principles, and
the introduction of a new de Bruijn notation providing solutions to various
problems related to the mechanisation of languages and logics.

Affiliated with

Also associated with

No associations

Rating

Yet Another Deep Embedding of B:Extending de Bruijn Notations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Yet Another Deep Embedding of B:Extending de Bruijn Notations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Yet Another Deep Embedding of B:Extending de Bruijn Notations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-584315