The SCEAS System
| |||||||

## Search the dblp DataBase
Erik Barendsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Erik Barendsen, Sjaak Smetsers
**Extending Graph Rewriting with Copying.**[Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:51-70 [Conf] - Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
**Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.**[Citation Graph (0, 0)][DBLP] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:358-379 [Conf] - Erik Barendsen, Sjaak Smetsers
**Uniqueness Typing in Natural Deduction Style.**[Citation Graph (0, 0)][DBLP] Functional Programming, 1995, pp:1- [Conf] - Erik Barendsen, Sjaak Smetsers
**Conventional and Uniqueness Typing in Graph Rewrite Systems.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1993, pp:41-51 [Conf] - Erik Barendsen, Sjaak Smetsers
**Uniqueness Type Inference**[Citation Graph (0, 0)][DBLP] PLILP, 1995, pp:189-206 [Conf] - Erik Barendsen, Marc Bezem
**Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:3, pp:221-280 [Journal] - Erik Barendsen, Sjaak Smetsers
**A derivation system for uniqueness typing.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal] - Henk Barendregt, Erik Barendsen
**Autarkic Computations in Formal Proofs.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:3, pp:321-336 [Journal] - Erik Barendsen
**An Unsolvable Numeral System in lambda Calculus.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 1991, v:1, n:3, pp:367-372 [Journal] - Erik Barendsen, Sjaak Smetsers
**Uniqueness Typing for Functional Languages with Graph Rewriting Semantics.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:579-612 [Journal] - Herman Geuvers, Erik Barendsen
**Some logical and syntactical observations concerning the first-order dependent type system lambda-P.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:335-359 [Journal] **Integrating Action Research and System Dynamics: Towards a Generic Process Design for Participative Modelling.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |