{"id":"https://openalex.org/W4391594602","doi":"https://doi.org/10.1109/sisy60376.2023.10417899","title":"Interactive Web-Based Interpreter of the $\\lambda$-Calculus","display_name":"Interactive Web-Based Interpreter of the $\\lambda$-Calculus","publication_year":2023,"publication_date":"2023-09-21","ids":{"openalex":"https://openalex.org/W4391594602","doi":"https://doi.org/10.1109/sisy60376.2023.10417899"},"language":"en","primary_location":{"id":"doi:10.1109/sisy60376.2023.10417899","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sisy60376.2023.10417899","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093876778","display_name":"Andrea Ferenczov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Andrea Ferenczov\u00e1","raw_affiliation_strings":["Technical University of Ko&#x0161;ice,Faculty of Electrical Engineering and Informatics,Department of Computers and Informatics,Ko&#x0161;ice,Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Ko&#x0161;ice,Faculty of Electrical Engineering and Informatics,Department of Computers and Informatics,Ko&#x0161;ice,Slovakia","institution_ids":["https://openalex.org/I183764125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078070565","display_name":"J\u00e1n Perh\u00e1\u010d","orcid":"https://orcid.org/0000-0001-6347-2409"},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"J\u00e1n Perh\u00e1\u010d","raw_affiliation_strings":["Technical University of Ko&#x0161;ice,Faculty of Electrical Engineering and Informatics,Department of Computers and Informatics,Ko&#x0161;ice,Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Ko&#x0161;ice,Faculty of Electrical Engineering and Informatics,Department of Computers and Informatics,Ko&#x0161;ice,Slovakia","institution_ids":["https://openalex.org/I183764125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4895,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.72810898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"000383","last_page":"000388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9757000207901001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9757000207901001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9537000060081482,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6079650521278381},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.5621546506881714},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.5360429883003235},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.48341572284698486},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.41535407304763794},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4142776131629944},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37275803089141846},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30614787340164185},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.29309672117233276}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6079650521278381},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.5621546506881714},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.5360429883003235},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.48341572284698486},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.41535407304763794},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4142776131629944},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37275803089141846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30614787340164185},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.29309672117233276},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sisy60376.2023.10417899","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sisy60376.2023.10417899","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3537464583","display_name":null,"funder_award_id":"KEGA 030TUKE-4/2023","funder_id":"https://openalex.org/F4320323640","funder_display_name":"Kult\u00farna a Edukacn\u00e1 Grantov\u00e1 Agent\u00fara M\u0160VVa\u0160 SR"}],"funders":[{"id":"https://openalex.org/F4320323640","display_name":"Kult\u00farna a Edukacn\u00e1 Grantov\u00e1 Agent\u00fara M\u0160VVa\u0160 SR","ror":"https://ror.org/044gwpv05"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1554287119","https://openalex.org/W1557561422","https://openalex.org/W2316163296","https://openalex.org/W2794706607","https://openalex.org/W2884529477","https://openalex.org/W3035960768","https://openalex.org/W3136222579","https://openalex.org/W4302944743","https://openalex.org/W4312260799","https://openalex.org/W4327850284","https://openalex.org/W4362564464","https://openalex.org/W6681090851"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1721418433","https://openalex.org/W2463512549","https://openalex.org/W3089412887","https://openalex.org/W2246915267","https://openalex.org/W2004305899","https://openalex.org/W1844878253","https://openalex.org/W2611574984","https://openalex.org/W4249558550","https://openalex.org/W2088766201"],"abstract_inverted_index":{"In":[0],"this":[1,57],"paper,":[2],"we":[3],"present":[4],"the":[5,15,21,31,44,54,96,103],"development":[6,55],"and":[7,79,121],"evaluation":[8],"of":[9,17,20,30,43,56,72,95,105,119,125],"an":[10,64,84],"interactive":[11,85],"teaching":[12],"tool":[13,58,99],"for":[14,115],"visualization":[16],"term":[18],"reduction":[19,70],"<tex":[22,32,73],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[23,33,74],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\lambda$</tex>":[24,34,75],"-calculus":[25,35,76],"computational":[26],"model.":[27],"The":[28,50],"concept":[29],"is":[36,59,100],"taught":[37],"at":[38],"our":[39],"University":[40],"as":[41],"part":[42],"graduate":[45],"course":[46],"in":[47,83,102],"Type":[48],"Theory.":[49],"main":[51],"idea":[52],"behind":[53],"to":[60],"provide":[61],"students":[62],"with":[63,91],"environment,":[65],"where":[66],"they":[67],"can":[68],"visualize":[69],"steps":[71],"terms,":[77],"experiment,":[78],"test":[80],"their":[81],"knowledge":[82],"way,":[86],"which":[87],"could":[88],"help":[89],"them":[90],"a":[92,106,116],"better":[93],"understanding":[94],"subject.":[97],"Our":[98],"developed":[101],"form":[104],"responsive":[107],"web":[108],"application,":[109],"that":[110],"makes":[111],"it":[112],"more":[113],"accessible":[114],"larger":[117],"range":[118],"users,":[120],"across":[122],"different":[123],"types":[124],"devices.":[126]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}