-
1
-
-
35248867416
-
(Co-)iteration for higher-order nested datatypes
-
H. Geuvers, F. Wiedijk (Eds.), Selected Papers from Second International Workshop on Types for Proofs and Programs, TYPES 2002, Berg en Dal, The Netherlands, 24-28 April, Springer, Berlin
-
A. Abel, R. Matthes, (Co-)iteration for higher-order nested datatypes, in: H. Geuvers, F. Wiedijk (Eds.), Selected Papers from Second International Workshop on Types for Proofs and Programs, TYPES 2002, Berg en Dal, The Netherlands, 24-28 April 2002, Vol. 2646 of Lecture Notes in Computer Science, Springer, Berlin, 2003, pp. 1-20.
-
(2002)
Lecture Notes in Computer Science
, vol.2646
, pp. 1-20
-
-
Abel, A.1
Matthes, R.2
-
2
-
-
35248899419
-
Generalized iteration and coiteration for higher-order nested datatypes
-
A.D. Gordon (Ed.), Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2003, Warsaw, Poland, 7-9 April 2003, Springer, Berlin
-
A. Abel, R. Matthes, T. Uustalu, Generalized iteration and coiteration for higher-order nested datatypes, in: A.D. Gordon (Ed.), Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2003, Warsaw, Poland, 7-9 April 2003, Vol. 2620 of Lecture Notes in Computer Science, Springer, Berlin, 2003, pp. 54-69.
-
(2003)
Lecture Notes in Computer Science
, vol.2620
, pp. 54-69
-
-
Abel, A.1
Matthes, R.2
Uustalu, T.3
-
3
-
-
77956968047
-
Frege structures and the notions of proposition, truth and set
-
J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symp.: Proceedings of Symposium, Madison, WI, USA, 18-24 June 1978, North-Holland, Amsterdam
-
P. Aczel, Frege structures and the notions of proposition, truth and set, in: J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symp.: Proceedings of Symposium, Madison, WI, USA, 18-24 June 1978, Vol. 101 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980, pp. 31-59.
-
(1980)
Studies in Logic and the Foundations of Mathematics
, vol.101
, pp. 31-59
-
-
Aczel, P.1
-
4
-
-
0942269644
-
Algebras and coalgebras
-
R. Backhouse, R. Crole, J. Gibbons (Eds.), Revised Lectures from International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, UK, 10-14 April 2000, Springer, Berlin, (Chapter 3)
-
P. Aczel, Algebras and coalgebras, in: R. Backhouse, R. Crole, J. Gibbons (Eds.), Revised Lectures from International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, UK, 10-14 April 2000, Vol. 2297 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pp. 79-88, (Chapter 3).
-
(2002)
Lecture Notes in Computer Science
, vol.2297
, pp. 79-88
-
-
Aczel, P.1
-
5
-
-
0038753013
-
Infinite trees and completely iterative theories: A coalgebraic view
-
P. Aczel, J. Adámek, S. Milius, J. Velebil, Infinite trees and completely iterative theories: a coalgebraic view, Theoret. Comput. Sci. 300 (1-3) (2003) 1-45.
-
(2003)
Theoret. Comput. Sci.
, vol.300
, Issue.1-3
, pp. 1-45
-
-
Aczel, P.1
Adámek, J.2
Milius, S.3
Velebil, J.4
-
6
-
-
23044532118
-
On continuous normalization
-
J.C. Bradfield (Ed.), Proceedings of 16th International Workshop on Computer Science Logic, CSL 2002, Edinburgh, UK, 22-25 Sept. 2002, Springer, Berlin
-
K. Aehlig, F. Joachimski, On continuous normalization, in: J.C. Bradfield (Ed.), Proceedings of 16th International Workshop on Computer Science Logic, CSL 2002, Edinburgh, UK, 22-25 Sept. 2002, Vol. 2471 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pp. 59-73.
-
(2002)
Lecture Notes in Computer Science
, vol.2471
, pp. 59-73
-
-
Aehlig, K.1
Joachimski, F.2
-
7
-
-
84956864074
-
Monadic presentations of lambda terms using generalized inductive types
-
J. Flum, M. Rodríguez-Artalejo (Eds.), Proceedings of 13th International Workshop on Computer Science Logic, CSL'99, Madrid, Spain, 20-25 September 1999, Springer, Berlin
-
T. Altenkirch, B. Reus, Monadic presentations of lambda terms using generalized inductive types, in: J. Flum, M. Rodríguez-Artalejo (Eds.), Proceedings of 13th International Workshop on Computer Science Logic, CSL'99, Madrid, Spain, 20-25 September 1999, Vol. 1683 of Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 453-468.
-
(1999)
Lecture Notes in Computer Science
, vol.1683
, pp. 453-468
-
-
Altenkirch, T.1
Reus, B.2
-
8
-
-
0242444012
-
Coequalizers and free triples
-
M. Barr, Coequalizers and free triples, Math. Z. 116 (1970) 307-322.
-
(1970)
Math. Z.
, vol.116
, pp. 307-322
-
-
Barr, M.1
-
9
-
-
0028731788
-
Substitution: A formal methods case study using monads and transformations
-
F. Bellegarde, J. Hook, Substitution: a formal methods case study using monads and transformations, Sci. Comput. Programming 23 (2-3) (1994) 287-311.
-
(1994)
Sci. Comput. Programming
, vol.23
, Issue.2-3
, pp. 287-311
-
-
Bellegarde, F.1
Hook, J.2
-
10
-
-
84957578237
-
Nested datatypes
-
J. Jeuring (Ed.), Proceedings of Fourth International Conference on Mathematics of Program Construction MPC'98, Marstrand, Sweden, 15-17 June 1998, Springer, Berlin
-
R. Bird, L. Meertens, Nested datatypes, in: J. Jeuring (Ed.), Proceedings of Fourth International Conference on Mathematics of Program Construction MPC'98, Marstrand, Sweden, 15-17 June 1998, Vol. 1422 of Lecture Notes in Computer Science, Springer, Berlin, 1998, pp. 52-67.
-
(1998)
Lecture Notes in Computer Science
, vol.1422
, pp. 52-67
-
-
Bird, R.1
Meertens, L.2
-
11
-
-
0001017659
-
Generalised folds for nested datatypes
-
R. Bird, R. Paterson, Generalised folds for nested datatypes, Formal Aspects Comput. 11 (2) (1999) 200-222.
-
(1999)
Formal Aspects Comput.
, vol.11
, Issue.2
, pp. 200-222
-
-
Bird, R.1
Paterson, R.2
-
12
-
-
0033423865
-
De Bruijn notation as a nested datatype
-
R.S. Bird, R. Paterson, De Bruijn notation as a nested datatype, J. Functional Programming 9 (1) (1999) 77-91.
-
(1999)
J. Functional Programming
, vol.9
, Issue.1
, pp. 77-91
-
-
Bird, R.S.1
Paterson, R.2
-
13
-
-
0142188059
-
Basic category theory for models of syntax
-
R.C. Backhouse, J. Gibbons (Eds.), Revised Lectures from Summer School and Workshop on Generic Programming, SSGP 2002, Oxford, UK, 26-30 August 2002, Springer, Berlin
-
R.L. Crole, Basic category theory for models of syntax, in: R.C. Backhouse, J. Gibbons (Eds.), Revised Lectures from Summer School and Workshop on Generic Programming, SSGP 2002, Oxford, UK, 26-30 August 2002, Vol. 2793 of Lecture Notes in Computer Science, Springer, Berlin, 2003, pp. 133-177.
-
(2002)
Lecture Notes in Computer Science
, vol.2793
, pp. 133-177
-
-
Crole, R.L.1
-
14
-
-
0013260541
-
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with applications to the Church-Rosser theorem
-
N.G. de Bruijn, Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with applications to the Church-Rosser theorem, Indagationes Math. (Koninglijke Nederlandse Akademie van Wetenschappen) 34 (1972) 381-392.
-
(1972)
Indagationes Math. (Koninglijke Nederlandse Akademie van Wetenschappen)
, vol.34
, pp. 381-392
-
-
De Bruijn, N.G.1
-
15
-
-
0036992209
-
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
Pittsburgh, PA, USA, 6-8 October 2002, ACM Press, New York
-
M. Fiore, Semantic analysis of normalisation by evaluation for typed lambda calculus, in: Proceedings of 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'02, Pittsburgh, PA, USA, 6-8 October 2002, ACM Press, New York, 2002, pp. 26-37.
-
(2002)
Proceedings of 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'02
, pp. 26-37
-
-
Fiore, M.1
-
16
-
-
0032597526
-
Abstract syntax and variable binding (extended abstract)
-
Trento, Italy, 2-5 July 1999, IEEE CS Press, Los Alamitos, CA
-
M. Fiore, G.D. Plotkin, D. Turi, Abstract syntax and variable binding (extended abstract), in: Proceedings of 14th Annual IEEE Symposium on Logic in Computer Science, LICS'99, Trento, Italy, 2-5 July 1999, IEEE CS Press, Los Alamitos, CA, 1999, pp. 193-202.
-
(1999)
Proceedings of 14th Annual IEEE Symposium on Logic in Computer Science, LICS'99
, pp. 193-202
-
-
Fiore, M.1
Plotkin, G.D.2
Turi, D.3
-
17
-
-
18944379669
-
Coalgebraic monads
-
L.S. Moss (Ed.), Proceedings of Fifth Workshop on Coalgebraic Methods in Computer Science, CMCS'02, Grenoble, France, 6-7 Apr. 2002, Elsevier, Amsterdam
-
N. Ghani, C. Lüth, F. de Marchi, Coalgebraic monads, in: L.S. Moss (Ed.), Proceedings of Fifth Workshop on Coalgebraic Methods in Computer Science, CMCS'02, Grenoble, France, 6-7 Apr. 2002, Vol. 65(1) of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2002.
-
(2002)
Electronic Notes in Theoretical Computer Science
, vol.65
, Issue.1
-
-
Ghani, N.1
Lüth, C.2
De Marchi, F.3
-
18
-
-
0942302114
-
Dualising initial algebras
-
N. Ghani, C. Lüth, F. de Marchi, J. Power, Dualising initial algebras, Math. Structures Comput. Sci. 13 (2) (2003) 349-370.
-
(2003)
Math. Structures Comput. Sci.
, vol.13
, Issue.2
, pp. 349-370
-
-
Ghani, N.1
Lüth, C.2
De Marchi, F.3
Power, J.4
-
19
-
-
84969348616
-
Explicit substitutions and higher-order syntax
-
F. Honsell, M. Miculan, A. Momigliano (Eds.), Uppsala, Sweden, 26 August 2003, ACM Press, New York
-
N. Ghani, T. Uustalu, Explicit substitutions and higher-order syntax, in: F. Honsell, M. Miculan, A. Momigliano (Eds.), Proceedings of Second ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, MERLIN 2003, Uppsala, Sweden, 26 August 2003, ACM Press, New York, 2003.
-
(2003)
Proceedings of Second ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, MERLIN 2003
-
-
Ghani, N.1
Uustalu, T.2
-
20
-
-
0005500880
-
Locus solum: From the rules of logic to the logic of rules
-
J.-Y. Girard, Locus solum: from the rules of logic to the logic of rules, Math. Structures Comput. Sci. 11 (3) (2001) 301-506.
-
(2001)
Math. Structures Comput. Sci.
, vol.11
, Issue.3
, pp. 301-506
-
-
Girard, J.-Y.1
-
21
-
-
0027353175
-
A framework for denning logics
-
R. Harper, F. Honsell, G. Plotkin, A framework for denning logics, J. ACM 40 (1) (1993) 143-184.
-
(1993)
J. ACM
, vol.40
, Issue.1
, pp. 143-184
-
-
Harper, R.1
Honsell, F.2
Plotkin, G.3
-
22
-
-
0008746865
-
Polytypic functions over nested datatypes
-
R. Hinze, Polytypic functions over nested datatypes, Discrete Math. Theoret. Comput. Sci. 3 (4) (1999) 193-214.
-
(1999)
Discrete Math. Theoret. Comput. Sci.
, vol.3
, Issue.4
, pp. 193-214
-
-
Hinze, R.1
-
23
-
-
0032597517
-
Semantical analysis of higher-order abstract syntax
-
Trento, Italy, 2-5 July 1999, IEEE CS Press, Los Alamitos, CA
-
M. Hofmann, Semantical analysis of higher-order abstract syntax, in: Proceedings of 14th Annual IEEE Symposium on Logic in Computer Science, LICS'99, Trento, Italy, 2-5 July 1999, IEEE CS Press, Los Alamitos, CA, 1999, pp. 204-213.
-
(1999)
Proceedings of 14th Annual IEEE Symposium on Logic in Computer Science, LICS'99
, pp. 204-213
-
-
Hofmann, M.1
-
24
-
-
0031096225
-
Infinitary lambda calculus
-
J.R. Kennaway, J.W. Klop, M.R. Sleep, F.-J. de Vries, Infinitary lambda calculus, Theoret. Comput. Sci. 175 (1) (1997) 93-125.
-
(1997)
Theoret. Comput. Sci.
, vol.175
, Issue.1
, pp. 93-125
-
-
Kennaway, J.R.1
Klop, J.W.2
Sleep, M.R.3
De Vries, F.-J.4
-
25
-
-
70449401237
-
Monotone inductive and coinductive constructors of rank 2
-
L. Fribourg (Ed.), Proceedings of 15th International Workshop on Computer Science Logic, CSL'01, Paris, France, 10-13 September 2001, Springer, Berlin
-
R. Matthes, Monotone inductive and coinductive constructors of rank 2, in: L. Fribourg (Ed.), Proceedings of 15th International Workshop on Computer Science Logic, CSL'01, Paris, France, 10-13 September 2001, Vol. 2142 of Lecture Notes in Computer Science, Springer, Berlin, 2001, pp. 600-614.
-
(2001)
Lecture Notes in Computer Science
, vol.2142
, pp. 600-614
-
-
Matthes, R.1
-
26
-
-
0942302122
-
Substitution in non-wellfounded syntax with variable binding
-
H.P. Gumm (Ed.), Proceedings of Sixth International Workshop on Coalgebraic Methods in Computer Science, CMCS'03, Warsaw, Poland, 5-6 April 2003, Elsevier, Amsterdam
-
R. Matthes, T. Uustalu, Substitution in Non-wellfounded Syntax with Variable Binding, in: H.P. Gumm (Ed.), Proceedings of Sixth International Workshop on Coalgebraic Methods in Computer Science, CMCS'03, Warsaw, Poland, 5-6 April 2003, Vol. 82 (1) of Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science
, vol.82
, Issue.1
-
-
Matthes, R.1
Uustalu, T.2
-
27
-
-
1242287811
-
A framework for typed HOAS and semantics
-
Uppsala, Sweden, 27-29 August 2003, ACM Press, New York
-
M. Miculan, I. Scagnetto, A framework for typed HOAS and semantics, in: Proceedings of Fifth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'03, Uppsala, Sweden, 27-29 August 2003, ACM Press, New York, 2003, pp. 184-194.
-
(2003)
Proceedings of Fifth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'03
, pp. 184-194
-
-
Miculan, M.1
Scagnetto, I.2
-
28
-
-
4944259839
-
Finite investigations of infinite derivations
-
G. Mints, Finite investigations of infinite derivations, Zap. Nauchn. Semin. Leningr. Otd. Matem. Inst. 49 (1975); translation in: J. Soviet Math. 10 (1978) 548-596. Reprinted in: G. Mints, Selected papers in Proof Theory, Vol. 3 of Studies in Proof Theory, Monographs, Bibliopolis, Napoli, 1992, pp. 17-72.
-
(1975)
Zap. Nauchn. Semin. Leningr. Otd. Matem. Inst.
, vol.49
-
-
Mints, G.1
-
29
-
-
0010130730
-
-
translation in
-
G. Mints, Finite investigations of infinite derivations, Zap. Nauchn. Semin. Leningr. Otd. Matem. Inst. 49 (1975); translation in: J. Soviet Math. 10 (1978) 548-596. Reprinted in: G. Mints, Selected papers in Proof Theory, Vol. 3 of Studies in Proof Theory, Monographs, Bibliopolis, Napoli, 1992, pp. 17-72.
-
(1978)
J. Soviet Math.
, vol.10
, pp. 548-596
-
-
-
30
-
-
0003909690
-
Selected papers in Proof Theory
-
Reprinted in: G. Mints
-
G. Mints, Finite investigations of infinite derivations, Zap. Nauchn. Semin. Leningr. Otd. Matem. Inst. 49 (1975); translation in: J. Soviet Math. 10 (1978) 548-596. Reprinted in: G. Mints, Selected papers in Proof Theory, Vol. 3 of Studies in Proof Theory, Monographs, Bibliopolis, Napoli, 1992, pp. 17-72.
-
(1992)
Studies in Proof Theory, Monographs, Bibliopolis, Napoli
, vol.3
, pp. 17-72
-
-
-
31
-
-
0346438625
-
Reduction of finite and infinite derivations
-
G. Mints, Reduction of finite and infinite derivations, Ann. Pure Appl. Logic 104 (1-3) (2000) 167-188.
-
(2000)
Ann. Pure Appl. Logic
, vol.104
, Issue.1-3
, pp. 167-188
-
-
Mints, G.1
-
32
-
-
0034914487
-
Parametric corecursion
-
L.S. Moss, Parametric corecursion, Theoret. Comput. Sci. 260 (1-2) (2001) 139-163.
-
(2001)
Theoret. Comput. Sci.
, vol.260
, Issue.1-2
, pp. 139-163
-
-
Moss, L.S.1
-
33
-
-
17144431956
-
From fast exponentiation to square matrices: An adventure in types
-
Proceedings of Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'99, Paris, France, 27-29 September 1999, ACM Press, New York
-
C. Okasaki, From fast exponentiation to square matrices: an adventure in types, in: Proceedings of Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'99, Paris, France, 27-29 September 1999, Vol. 34 (9) of SIGPLAN Notices, ACM Press, New York, 1999, pp. 28-35.
-
(1999)
SIGPLAN Notices
, vol.34
, Issue.9
, pp. 28-35
-
-
Okasaki, C.1
-
34
-
-
84956694006
-
Higher-order abstract syntax
-
Proceedings of ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI'88, Atlanta, GA, 22-24 June 1988, ACM Press, New York
-
F. Pfenning, C. Elliot, Higher-order abstract syntax, in: Proceedings of ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI'88, Atlanta, GA, 22-24 June 1988, Vol. 23 (7) of SIGPLAN Notices, ACM Press, New York, 1988, pp. 199-208.
-
(1988)
SIGPLAN Notices
, vol.23
, Issue.7
, pp. 199-208
-
-
Pfenning, F.1
Elliot, C.2
-
35
-
-
4243140020
-
An illative theory of relations
-
R. Cooper, K. Mukai, J. Perry (Eds.), Situation Theory and Its Applications 1, CSLI Publications, Stanford, CA
-
G. Plotkin, An illative theory of relations, in: R. Cooper, K. Mukai, J. Perry (Eds.), Situation Theory and Its Applications 1, Vol. 22 of CSLI Lecture Notes, CSLI Publications, Stanford, CA, 1990, pp. 133-146.
-
(1990)
CSLI Lecture Notes
, vol.22
, pp. 133-146
-
-
Plotkin, G.1
-
36
-
-
24944459952
-
A unified category-theoretic approach to variable binding
-
F. Honsell, M. Miculan, A. Momigliano (Eds.), Uppsala, Sweden, 26 August 2003, ACM Press, New York
-
J. Power, A unified category-theoretic approach to variable binding, in: F. Honsell, M. Miculan, A. Momigliano (Eds.), Proceedings of Second ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, MERLIN 2003, Uppsala, Sweden, 26 August 2003, ACM Press, New York, 2003.
-
(2003)
Proceedings of Second ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, MERLIN 2003
-
-
Power, J.1
-
37
-
-
84947232877
-
An extensional Böhm model
-
S. Tison (Ed.), Proceedings of 13th International Conference on Rewriting Theory and Applications, RTA 2002, Copenhagen, Denmark, 22-24 July 2002, Springer, Berlin
-
P. Severi, F.-J. de Vries, An extensional Böhm model, in: S. Tison (Ed.), Proceedings of 13th International Conference on Rewriting Theory and Applications, RTA 2002, Copenhagen, Denmark, 22-24 July 2002, Vol. 2378 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pp. 159-173.
-
(2002)
Lecture Notes in Computer Science
, vol.2378
, pp. 159-173
-
-
Severi, P.1
De Vries, F.-J.2
-
38
-
-
0012439858
-
An algebraic generalization of Frege structures - Binding signatures
-
Y. Sun, An algebraic generalization of Frege structures - binding signatures, Theoret. Comput. Sci. 211 (1-2) (1999) 189-232.
-
(1999)
Theoret. Comput. Sci.
, vol.211
, Issue.1-2
, pp. 189-232
-
-
Sun, Y.1
-
39
-
-
23044521077
-
Abstract syntax and variable binding for linear binders
-
M. Nielsen, B. Rovan (Eds.), Proceedings of 25th International Symposium on Mathematics Foundation of Computer Science, MFCS 2000, Bratislava, Slovakia, 28 August-1 September 2000, Springer, Berlin
-
M. Tanaka, Abstract syntax and variable binding for linear binders, in: M. Nielsen, B. Rovan (Eds.), Proceedings of 25th International Symposium on Mathematics Foundation of Computer Science, MFCS 2000, Bratislava, Slovakia, 28 August-1 September 2000, Vol. 1893 of Lecture Notes in Computer Science, Springer, Berlin, 2000, pp. 670-679.
-
(2000)
Lecture Notes in Computer Science
, vol.1893
, pp. 670-679
-
-
Tanaka, M.1
-
40
-
-
0942267770
-
Generalizing substitution
-
T. Uustalu, Generalizing substitution, Theoret. Inform. Appl. 37 (4) (2003) 315-336.
-
(2003)
Theoret. Inform. Appl.
, vol.37
, Issue.4
, pp. 315-336
-
-
Uustalu, T.1
-
41
-
-
0006903554
-
Primitive (co)recursion and course-of-value (co)iteration, categorically
-
T. Uustalu, V. Vene, Primitive (co)recursion and course-of-value (co)iteration, categorically, Informatica 10 (1) (1999) 5-26.
-
(1999)
Informatica
, vol.10
, Issue.1
, pp. 5-26
-
-
Uustalu, T.1
Vene, V.2
-
42
-
-
0942291413
-
The dual of substitution is redecoration
-
K. Hammond, S. Curties (Eds.), Intellect, Bristol, Portland, OR
-
T. Uustalu, V. Vene, The dual of substitution is redecoration, in: K. Hammond, S. Curties (Eds.), Trends in Functional Programming 3, Intellect, Bristol, Portland, OR, 2001, pp. 99-110.
-
(2001)
Trends in Functional Programming
, vol.3
, pp. 99-110
-
-
Uustalu, T.1
Vene, V.2
-
43
-
-
4944256861
-
An alternative characterization for complete iterativeness (extended abstract)
-
Z. Esik, I. Waukiewicz (Eds.), Warsaw, Poland, 12-13 April 2003, University of Warsaw
-
T. Uustalu, V. Vene, An alternative characterization for complete iterativeness (extended abstract), in: Z. Esik, I. Waukiewicz (Eds.), Proceedings of the 5th International Workshop on Fixed Points in Computer Science, FICS 2003, Warsaw, Poland, 12-13 April 2003, University of Warsaw, 2003, pp. 81-83.
-
(2003)
Proceedings of the 5th International Workshop on Fixed Points in Computer Science, FICS 2003
, pp. 81-83
-
-
Uustalu, T.1
Vene, V.2
|