Barry Jay
@Barry-JayAssociate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.
Language Breakdown
Lines of code distribution across 10 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Coq
Collaboration Network
Global Impact visualization
Repos
11
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
source code for the bondi programming language
translations of a lambda abstraction to combinations of operators
Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
proofs associated with tree calculus
implementation of lambda-SF-calculus plus some basic theorems
delayed substitution avoids using a meta-function for substitution, so everything is easier.
L-calculus and T-calculus are combinatory calculi that represent lambda-abstraction very well
A combinatory account of lambda-abstraction that preserves normalisation and term size
a typed version of lambda-calculus with factorisation that supports self-interpretation
deprecated
Open Source Impact
Contributions to external projects
No external contributions found.