Skip navigation
Statistics
Help
About OPUS
How to Deposit
Managing Copyright
Browse
UTS Organisational Groups
Browse Items by:
Issue Date
Author
Title
Type
ARC/NHRMC Funded
Search OPUS
OPUS at UTS
Browsing byAuthorJay, B
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
ARC/NHRMC funded
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 2 to 16 of 16
< previous
Issue Date
Title
Author(s)
2011-09-01
A combinatory account of internal structure
Jay, B
;
Given-Wilson, T
2010-01-01
Concurrent Pattern Calculus
Given-Wilson, T
;
Gorla, D
;
Jay, B
;
Calude, CS
;
Sassone, V
2014-08-22
A concurrent pattern calculus
Given-Wilson, T
;
Gorla, D
;
Jay, B
2017-02-01
Conflicting accounts of λ-definability
Jay, B
;
Vergara, J
2009-03-01
First-class patterns
Jay, B
;
Kesner, D
2013-10-30
Growing a language in pattern calculus
Jay, B
;
Vergara, J
2011-12-09T05:10:12Z
The Insider's Guide to Getting Published
Grahame, E
;
Grafton, D
;
Allatson, P
;
Chelliah, J
;
Jay, B
;
Lally, E
;
Linacre, S
2019-05-10
Intensional computation with higher-order functions
Jay, B
2009-12-01
Pattern calculus: Computing with functions and structures
Jay, B
2016-10-05
Programs as Data Structures in λSF-Calculus
Jay, B
2006-07-14
Pure pattern calculus
Jay, B
;
Kesner, D
2017-12-25
Recursive programs in normal form (short paper)
Jay, B
2008-08-13
Scrap your type applications
Jay, B
;
Peyton Jones, S
2019-01-14
A simpler lambda calculus
Jay, B
2011-09-01
Typed self-interpretation by pattern matching
Jay, B
;
Palsberg, J