iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/HylandNPR06.nt
. . . . "Martin Hyland et al.: A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. (2004)" . . _:ID_86a11147fe6172f49dec6a635e3bbc75 . _:ID_86a11147fe6172f49dec6a635e3bbc75 . _:ID_86a11147fe6172f49dec6a635e3bbc75 . _:ID_86a11147fe6172f49dec6a635e3bbc75 . _:ID_86a11147fe6172f49dec6a635e3bbc75 "journals/entcs/HylandNPR06" . _:ID_89a541528dbd64f160d0527221f8ca52 . _:ID_89a541528dbd64f160d0527221f8ca52 . _:ID_89a541528dbd64f160d0527221f8ca52 . _:ID_89a541528dbd64f160d0527221f8ca52 . _:ID_89a541528dbd64f160d0527221f8ca52 "10.1016/J.ENTCS.2006.04.024" . "A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda." . . . . . . . . . . "4"^^ . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 "Martin Hyland" . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 "1"^^ . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_1 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 "Misao Nagayama" . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 "2"^^ . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_2 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 "John Power" . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 "3"^^ . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_3 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 "Giuseppe Rosolini" . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 "4"^^ . _:Sig_22e024720ea770383a2b7d8d6e81b9b9_4 . . . . . "43-57" . "MFCSIT" . "MFCSIT" . "2004"^^ . "2006"^^ . . "provenance information for RDF data of dblp record 'journals/entcs/HylandNPR06'" . . . . "2023-01-20T12:32:59+0100" .