Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 9 out of a total of 9 results. (0.001 seconds)

Now showing items 1-9 of 9

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Safe proof checking in type theory with Y

Geuvers, J.H. ; Poll, E. ; Zwanenburg, J.

1999, Part of book or chapter of book (Flum, J.; Rodriguez Artalejo, M. (ed.), 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 439-452)
Invariants, bisimulations and the correctness of coalgebraic refinements

Jacobs, B.P.F.

1997, Part of book or chapter of book (Johnson, M. (ed.), Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings, pp. 276-291)
Proof principles for datatypes with iterated recursion

Hensel, U.; Jacobs, B.P.F.

1997, Part of book or chapter of book (Moggi, E.; Rosolini, G. (ed.), Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings, pp. 220-241)
Coalgebras and approximation

Jacobs, B.P.F.

1994, Part of book or chapter of book (Nerode, A.; Matiyasevich, Y.V. (ed.), Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings, pp. 173-183)
Translating Dependent Type Theory into Higher Order Logic

Jacobs, B.P.F. ; Melham, T.

1993, Part of book or chapter of book (Bezem, M. (ed.), Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrecht, The Netherlands. Proceedings, pp. 209-229)
Process annotations and process types

Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, Part of book or chapter of book (Term graph rewriting : theory and practice, pp. 347-362)
Abstract reduction: towards a theory via abstract interpretation

Eekelen, M.C.J.D. van ; Goubault, G.; Hankin, C.; Nöcker, E.

1993, Part of book or chapter of book (Term graph rewriting : theory and practice, pp. 117-129)
Graph rewriting using the annotated functional strategy

Koopman, P.W.M. ; Smetsers, J.E.W. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, Part of book or chapter of book (Term graph rewriting : Theory and practice, pp. 317-332)
The functional strategy and transitive term rewriting systems

Toyama, Y.; Smetsers, S. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

1993, Part of book or chapter of book (Sleep, M.R. (ed.), Term Graph Rewriting - Theory and Practice, pp. 61-75)

Now showing items 1-9 of 9

Radboud Repository

Search

Showing 9 out of a total of 9 results. (0.001 seconds)

Explore

Author

Document type

Date Issued

Departments

Browse

All of Repository