المؤلفون: Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://repository.upenn.edu/cgi/viewcontent.cgi?article%3D2031%26context%3Dcis_reports.

مصطلحات موضوعية: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Termination, General recursion

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.9969; http://repository.upenn.edu/cgi/viewcontent.cgi?article%3D2031%26context%3Dcis_reports

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.9969
http://repository.upenn.edu/cgi/viewcontent.cgi?article%3D2031%26context%3Dcis_reports

المؤلفون: Adámek, Jiří, Milius, Stefan, Moss, Lawrence S.

المصدر: Foundations of Software Science and Computation Structures

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Condensed Matter::Other, Mathematics::Rings and Algebras, Recursive, Initial Algebra, General Recursion Theorem, Condensed Matter::Mesoscopic Systems and Quantum Hall Effect, Article, Well-founded, Logic in Computer Science (cs.LO), Coalgebra, Computer Science::Logic in Computer Science, Mathematics::Category Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ba9e9bd795b182651f17f86c233c997

المؤلفون: Bove, Ana, 1968, Dybjer, Peter, 1953, Sicard-Ramirez, Andres, 1968

المصدر: Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2009. :59-66

مصطلحات موضوعية: Logical theory of constructions, general recursion, type theory

URL الوصول: https://research.chalmers.se/publication/103337

المؤلفون: C. Guidi, SPERDUTI, ALESSANDRO

المساهمون: Kwei-Jay Lin and Christian Huemer and M. Brian Blake and Boualem Benatallah, C., Guidi, Sperduti, Alessandro

مصطلحات موضوعية: general recursion, Service-oriented architecture

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781467303170; info:eu-repo/semantics/altIdentifier/isbn/9781467303187; ispartofbook:2011 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2011, Irvine, CA, USA, December 12-14, 2011; IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2011; firstpage:1; lastpage:8; numberofpages:8; http://hdl.handle.net/11577/2523420; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84859966328

الاتاحة: http://hdl.handle.net/11577/2523420
https://doi.org/10.1109/SOCA.2011.6166203

المؤلفون: Bove, Ana, 1968

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2646:39-58

مصطلحات موضوعية: partial functions, type theory, general recursion

URL الوصول: https://research.chalmers.se/publication/47405
http://dx.doi.org/10.1007/3-540-39185-1_3

المؤلفون: Sicard-Ramírez, Andrés

المساهمون: Bove, Ana, Dybjer, Peter, Sicard-Ramírez Andrés

المصدر: COLIBRI
Universidad de la República
instacron:Universidad de la República

مصطلحات موضوعية: Automatic proofs, Type theory, Functional program correctness, Total languages, Demostración interactiva de teoremas, Teorías de primer orden, Interactive proofs, Verificación de programas funcionales, General recursion, Demostración automática de teoremas, Recursión general, First-order theories, Lenguajes totales, Lazy evaluation, Evaluación perezosa, Teoría de tipos

وصف الملف: aplication/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::8746df4504d24f1188ac7682263e4f01

المؤلفون: Hackett, Jennifer, Hutton, Graham

مصطلحات موضوعية: general recursion, improvement

Relation: https://nottingham-repository.worktribe.com/output/998635

الاتاحة: https://nottingham-repository.worktribe.com/file/998635/1/faster.pdf
https://nottingham-repository.worktribe.com/output/998635

المؤلفون: Claudio Guidi, Alessandro Sperduti

المصدر: SOCA

مصطلحات موضوعية: Theoretical computer science, Recursion, Functional logic programming, Computer science, Programming language, general recursion, computer.software_genre, Inductive programming, Procedural programming, Programming paradigm, Reactive programming, Service-oriented architecture, computer, Declarative programming, Programming language theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78380b8bbf12fe2ff55c516401960c06
https://doi.org/10.1109/soca.2011.6166203

المؤلفون: Claudio Sacerdoti Coen, Silvio Valentini

المساهمون: A. BOVE, E. KOMENDANTSKAYA, M.NIQUI, C. Sacerdoti Coen, S. Valentini

المصدر: PAR@ITP
Electronic Proceedings in Theoretical Computer Science, Vol 43, Iss Proc. PAR 2010, Pp 65-75 (2010)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computer science, lcsh:Mathematics, Computation, Recursion (computer science), general recursion, lcsh:QA1-939, Network topology, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Mathematics::Logic, Type theory, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, partial evaluation, lcsh:Electronic computers. Computer science, Formal topology, Intuitionistic Type Theory

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e955cfc669b1bb6ead7805426866877
http://hdl.handle.net/11585/101039

المؤلفون: Weirich, Stephanie, Sjoberg, Vilhelm, Casinghino, Chris

المصدر: 985 ; Technical Reports (CIS) ; published

مصطلحات موضوعية: Dependent types, Termination, General recursion, Computer Engineering, Computer Sciences

وصف الملف: application/pdf

Relation: https://repository.upenn.edu/handle/20.500.14332/7958

الاتاحة: https://repository.upenn.edu/handle/20.500.14332/7958
https://hdl.handle.net/20.500.14332/7958

المؤلفون: Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cis.upenn.edu/%7Esweirich/papers/modal.pdf.

مصطلحات موضوعية: Languages, Verification, Theory Dependent types, Termination, General recursion [Copyright notice wil

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8961; http://www.cis.upenn.edu/%7Esweirich/papers/modal.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8961
http://www.cis.upenn.edu/%7Esweirich/papers/modal.pdf

المؤلفون: Bove, Ana, 1968, Capretta, Venanzio

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). LNCS 5170:102

مصطلحات موضوعية: type theory, partial functions, general recursion

URL الوصول: https://research.chalmers.se/publication/73656

المؤلفون: Bove, Ana, 1968, Capretta, Venanzio

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :70

مصطلحات موضوعية: partial functions, type theory, general recursion

URL الوصول: https://research.chalmers.se/publication/47397

المؤلفون: Bove, Ana, 1968

المصدر: Nordic Journal of Computing. 8:22

مصطلحات موضوعية: general recursion, type theory

URL الوصول: https://research.chalmers.se/publication/47407

المؤلفون: Bove, Ana, 1968, Capretta, Venanzio

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). LNCS 2152:121

مصطلحات موضوعية: type theory, partial functions, general recursion, nested recursion

URL الوصول: https://research.chalmers.se/publication/47408

المساهمون: Kim, Theodore Seok, Danner, Norman, Licata, Daniel R., Hermant, Olivier

مصطلحات موضوعية: Semi-automatic complexity analysis, general recursion, Plotkin's PCF

وصف الملف: 62 pages; electronic

Relation: https://digitalcollections.wesleyan.edu/objectir-2461; https://doi.org/10.14418/wes01.2.119; https://digitalcollections.wesleyan.edu/sites/default/files/2023-03/16902-Thumbnail%20Image.png

الاتاحة: https://digitalcollections.wesleyan.edu/objectir-2461
https://doi.org/10.14418/wes01.2.119
https://digitalcollections.wesleyan.edu/sites/default/files/2023-03/16902-Thumbnail%20Image.png

المؤلفون: Hackett, Jennifer, Hutton, Graham

مصطلحات الفهرس: general recursion; improvement, Conference or Workshop Item, PeerReviewed

URL: http://eprints.nottingham.ac.uk/28181/
http://dl.acm.org/citation.cfm?doid=2628136.2628142
http://eprints.nottingham.ac.uk/28181
http://dl.acm.org/citation.cfm?doid=2628136.2628142

المؤلفون: Hackett, Jennifer, Hutton, Graham

مصطلحات الفهرس: general recursion; improvement, Conference or Workshop Item, PeerReviewed

URL: http://eprints.nottingham.ac.uk/28181/
http://dl.acm.org/citation.cfm?doid=2628136.2628142
http://eprints.nottingham.ac.uk/28181
http://dl.acm.org/citation.cfm?doid=2628136.2628142

المؤلفون: Hackett, Jennifer, Hutton, Graham

مصطلحات الفهرس: general recursion; improvement, Conference or Workshop Item, PeerReviewed

URL: http://eprints.nottingham.ac.uk/28181/
http://dl.acm.org/citation.cfm?doid=2628136.2628142
http://eprints.nottingham.ac.uk/28181
http://dl.acm.org/citation.cfm?doid=2628136.2628142