Sydney, Australia

Barry Jay

Expert
@Barry-Jay

Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.

bondi. source code for the bondi programming language

45

Intensional-computation. translations of a lambda abstraction to combinations of operators

19

SF. Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus

11

Tree-calculus. proofs associated with tree calculus

8

lambdaSF. implementation of lambda-SF-calculus plus some basic theorems

3
5
Apply