Re: Post-doc in Bath on the semantics of a

Alessio Guglielmi <[email protected]> Mon, 7 Jan 2013 17:04:53 +0000

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

At 16:03 -0430 4/1/13, Karn Kallio wrote:
>Does the EPSRC project include a software implementation (eg in Isabelle) of
>Formalism B?

Dear Karn,

No, there are no implementations in the project as is, but, of 
course, there is sufficient flexibility to include one if that will 
turn out to be a good idea.

Ciao,

-Alessio