×

zbMATH — the first resource for mathematics

Stark, Ian

Compute Distance To:
Author ID: stark.ian Recent zbMATH articles by "Stark, Ian"
Published as: Stark, I.; Stark, Ian
External Links: MGP · ORCID
Documents Indexed: 16 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 74 times in 68 Documents Cited by Year
Operational reasoning for functions with local state. Zbl 0967.68035
Pitts, Andrew; Stark, Ian
32
1998
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997
A dependent type theory with names and binding. Zbl 1095.03019
Schöpp, Ulrich; Stark, Ian
7
2004
Free-algebra models for the \(\pi \)-calculus. Zbl 1134.68043
Stark, Ian
6
2008
Reducibility and \(\top\top\)-lifting for computation types. Zbl 1114.68035
Lindley, Sam; Stark, Ian
5
2005
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
Free-algebra models for the \(\pi\)-calculus. Zbl 1119.68130
Stark, Ian
3
2005
A distributed \(\pi\)-calculus with local areas of communication. Zbl 1262.68137
Chothia, Tom; Stark, Ian
3
2001
Encoding distributed areas and local communication into the \(\pi \)-calculus. Zbl 1260.68260
Chothia, Tom; Stark, Ian
2
2002
A logic of behaviour in context. Zbl 1311.68083
Banks, C. J.; Stark, I.
1
2014
Grail: a functional form for imperative mobile code. Zbl 1270.68065
Beringer, Lennart; MacKenzie, Kenneth; Stark, Ian
1
2003
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
A logic of behaviour in context. Zbl 1311.68083
Banks, C. J.; Stark, I.
1
2014
Free-algebra models for the \(\pi \)-calculus. Zbl 1134.68043
Stark, Ian
6
2008
Reducibility and \(\top\top\)-lifting for computation types. Zbl 1114.68035
Lindley, Sam; Stark, Ian
5
2005
Free-algebra models for the \(\pi\)-calculus. Zbl 1119.68130
Stark, Ian
3
2005
A dependent type theory with names and binding. Zbl 1095.03019
Schöpp, Ulrich; Stark, Ian
7
2004
Grail: a functional form for imperative mobile code. Zbl 1270.68065
Beringer, Lennart; MacKenzie, Kenneth; Stark, Ian
1
2003
Encoding distributed areas and local communication into the \(\pi \)-calculus. Zbl 1260.68260
Chothia, Tom; Stark, Ian
2
2002
A distributed \(\pi\)-calculus with local areas of communication. Zbl 1262.68137
Chothia, Tom; Stark, Ian
3
2001
Operational reasoning for functions with local state. Zbl 0967.68035
Pitts, Andrew; Stark, Ian
32
1998
Presheaf models for the \(\pi\)-calculus. Zbl 0884.68078
Cattani, Gian Luca; Stark, Ian; Winskel, Glynn
11
1997
all top 5

Cited by 102 Authors

7 Murawski, Andrzej S.
5 Tzevelekos, Nikos
3 Ciancia, Vincenzo
3 Montanari, Ugo G.
3 Pitts, Andrew M.
3 Stark, Ian
3 Sumii, Eijiro
2 Berger, Martin J.
2 Biernacki, Dariusz
2 Cattani, Gian Luca
2 Chothia, Tom
2 Fiore, Marcelo P.
2 Gabbay, Murdoch James
2 Hofmann, Martin
2 Honda, Kohei
2 Katsumata, Shin-ya
2 Kozen, Dexter C.
2 Kurz, Alexander
2 Levy, Paul Blain
2 Ong, Chih-Hao Luke
2 Polesiuk, Piotr
2 Schröder, Lutz
2 Staton, Sam
2 Støvring, Kristian
2 Winskel, Glynn
2 Yoshida, Nobuko
1 Aboul-Hosn, Kamal
1 Ahman, Danel
1 Asperti, Andrea
1 Aspinall, David
1 Aziz, Benjamin
1 Bartoletti, Massimo
1 Benton, Nick
1 Beringer, Lennart
1 Bickford, Mark
1 Birkedal, Lars
1 Boudol, Gérard
1 Carbone, Marco
1 Charguéraud, Arthur
1 Cheney, James
1 Clouston, Ranald A.
1 Cotton-Barratt, Conrad
1 Degano, Pierpaolo
1 Derikx, Jasper
1 Duggan, Dominic
1 Ferrari, Gian Luigi
1 Fox, Anthony C. J.
1 Fridlender, Daniel
1 Goncharov, Sergeĭ Savost’yanovich
1 Goubault-Larrecq, Jean
1 Gray, David F.
1 Hamana, Makoto
1 Hamilton, Geoff W.
1 Hausmann, Daniel
1 Hildebrandt, Thomas T.
1 Hopkins, David A.
1 Hur, Chung-Kil
1 Jeannin, Jean-Baptiste
1 Jeffrey, Alan S. A.
1 Koutavas, Vasileios
1 Kumar, Ramana
1 Lack, Stephen
1 Lassen, Søren B.
1 Lenglet, Sergueï
1 Lengrand, Stéphane Jean Eric
1 Loidl, Hans-Wolfgang
1 Maffeis, Sergio
1 Matthiesen, Justus
1 Møgelberg, Rasmus Ejlers
1 Moggi, Eugenio
1 Momigliano, Alberto
1 Mossakowski, Till
1 Mulligan, Dominic P.
1 Myreen, Magnus O.
1 Nigam, Vivek
1 Norrish, Michael
1 Nygaard, Mikkel
1 Ong, C.-H. Luke
1 Owens, Scott
1 Pagano, Miguel
1 Petrisan, Daniela Luan
1 Phillips, Iain W.
1 Pottier, François
1 Rahli, Vincent
1 Rathke, Julian
1 Riba, Colin
1 Ricciotti, Wilmer
1 Rodriguez, Leonardo Jimenez
1 Rosický, Jiří
1 Sabel, David
1 Sangiorgi, Davide
1 Sato, Tetsuya
1 Schmidt-Schauß, Manfred
1 Schweimeier, Ralf
1 Sewell, Peter
1 Shinwell, Mark R.
1 Tan, Yong Kiam
1 Thamsborg, Jacob
1 Uustalu, Tarmo
1 Vigliotti, Maria Grazia
...and 2 more Authors

Citations by Year